1359 search results - page 2 / 272 » Probabilistic Points-to Analysis |
FORMATS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
IWPT
2001
13 years 6 months ago
2001
While symbolic parsers can be viewed as deduction systems, this view is less natural for probabilistic parsers. We present a view of parsing as directed hypergraph analysis which ...
JDCTA
2010
13 years 14 min ago
2010
In order to solve the low efficiency problem of directly querying single node probability in the set of all ordinary XML data obtained by enumerating possible world set of the cor...
FAC
2007
13 years 5 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
CPC
2004
13 years 5 months ago
2004
We provide a probabilistic analysis of the output of Quicksort when comparisons can err.