output
20072011
most citedAdaptive Importance Sampling in General Mixture Classes

208 citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.LOShow all

1 paper · 2 filters

cs.LO2009★ 2 cited

Rewrite based Verification of XML Updates

Florent Jacquemard, Michael Rusinowitch

We consider problems of access control for update of XML documents. In the context of XML programming, types can be viewed as hedge automata, and static type checking amounts to ve…