608 search results - page 55 / 122 » Tests, Proofs and Refinements |
CP
2008
Springer
13 years 9 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
COLING
1996
13 years 9 months ago
1996
The paper presents a consolidated set of principles of cooperative spoken human-machine dialogue which have the potential tor being turned into practically applicable design guide...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
The objective of this work is to recognize all the frontal faces of a character in the closed world of a movie or situation comedy, given a small number of query faces. This is ch...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Structure from motion (SFM) is the problem of reconstructing the geometry of a scene from a stream of images. In this problem, the geometry of the scene must be inferred from imag...