2203 search results - page 315 / 441 » Temporal Abstract Interpretation |
137
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...
148
Voted
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...
145
Voted
GI
2005
Springer
15 years 9 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...
143
Voted
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
144
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...