4211 search results - page 497 / 843 » Types as Abstract Interpretations |
245
Voted
MIG
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
186
Voted
SARA
2009
Springer
16 years 2 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
204
Voted
TLCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
224
Voted
TPCTC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
215
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...