3238 search results - page 185 / 648 » On the Computational Interpretation of Negation |
160
click to vote
TCC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. For secure two-party and multi-party computation with abort, classification of which primitives are complete has been extensively studied in the literature. However, for...
201
click to vote
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
249
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
149
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
157
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...