276 search results - page 39 / 56 » Constraint Propagation as a Proof System |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present an imaging framework to acquire 3D surface scans at ultra high-resolutions (exceeding 600 samples per mm2 ). Our approach couples a standard structured-light setup and ...
COSIT
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
CPAIOR
2010
Springer
13 years 5 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
VLDB
1990
ACM
13 years 11 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...