811 search results - page 18 / 163 » Probabilistic Semantics and Program Analysis |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
PEPM
1995
ACM
13 years 11 months ago
1995
ACM
FORMATS
2003
Springer
14 years 19 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
This paper examines efficient predictive broadcoverage parsing without dynamic programming. In contrast to bottom-up methods, depth-first top-down parsing produces partial parses ...