1948 search results - page 362 / 390 » Formalizing Mirror Theory |
102
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
108
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
131
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
115
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— Recent research has shown that robots can model their world with Multi-Level (ML) surface maps, which utilize ‘patches’ in a 2D grid space to represent various environment ...
150
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...