811 search results - page 18 / 163 » Probabilistic Semantics and Program Analysis |
LICS
2009
IEEE
15 years 4 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
15 years 4 months ago
2007
IEEE
PEPM
1995
ACM
15 years 1 months ago
1995
ACM
102
click to vote
FORMATS
2003
Springer
15 years 3 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...
CORR
2000
Springer
14 years 9 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 ...