3342 search results - page 417 / 669 » Automating Abstract Interpretation |
137
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
136
click to vote
WOLLIC
2009
Springer
15 years 9 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...
130
click to vote
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...
139
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...
132
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...