811 search results - page 18 / 163 » Probabilistic Semantics and Program Analysis |
148
click to vote
LICS
2009
IEEE
15 years 11 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...
99
Voted
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
166
click to vote
FORMATS
2003
Springer
15 years 10 months 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...
140
click to vote
CORR
2000
Springer
15 years 4 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 ...