1914 search results - page 304 / 383 » Verification by Abstract Interpretation |
139
click to vote
WOLLIC
2009
Springer
15 years 10 months 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...
135
Voted
ACIVS
2007
Springer
15 years 9 months 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...
143
click to vote
IWRIDL
2006
ACM
15 years 9 months 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...
139
click to vote
GI
2005
Springer
15 years 8 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...
157
click to vote
KES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...