608 search results - page 55 / 122 » Tests, Proofs and Refinements |
66
Voted
CP
2008
Springer
15 years 22 days 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
15 years 8 days 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...
185
Voted
CADE
2011
Springer
13 years 11 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...
75
Voted
CVPR
2005
IEEE
16 years 29 days 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
16 years 18 days 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...