1724 search results - page 259 / 345 » Abstract Interpreters for Free |
203
click to vote
LICS
2009
IEEE
16 years 24 days 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...
177
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
173
click to vote
ACIVS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this project we present a framework for a multi-touch surface using multiple cameras. With an overhead camera and side-mounted camera we determine the three dimensiona...
181
Voted
IWRIDL
2006
ACM
16 years 3 days ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
190
Voted
GI
2005
Springer
15 years 11 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...