Sciweavers

4949 search results - page 40 / 990
» Consistency and Set Intersection
Sort
View
129
Voted
CP
2010
Springer
15 years 2 months ago
Exponential Propagation for Set Variables
Research on constraint propagation has primarily focused on designing polynomial-time propagators sometimes at the cost of a weaker filtering. Interestingly, the evolution of cons...
Justin Yip, Pascal Van Hentenryck
SSD
1993
Springer
237views Database» more  SSD 1993»
15 years 7 months ago
A Small Set of Formal Topological Relationships Suitable for End-User Interaction
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
Eliseo Clementini, Paolino Di Felice, Peter van Oo...
132
Voted
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 1 months ago
Property Testing via Set-Theoretic Operations
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
Victor Chen, Madhu Sudan, Ning Xie
165
Voted
ECCV
2004
Springer
16 years 5 months ago
Structure and Motion from Images of Smooth Textureless Objects
This paper addresses the problem of estimating the 3D shape of a smooth textureless solid from multiple images acquired under orthographic projection from unknown and unconstrained...
Yasutaka Furukawa, Amit Sethi, Jean Ponce, David J...
129
Voted
ICRA
2006
IEEE
177views Robotics» more  ICRA 2006»
15 years 9 months ago
Automatic Calibration of a Robotized 3D Ultrasound Imaging System by Visual Servoing
— Three-dimensional free-hand ultrasound imaging consists of capturing a set of ultrasound images with a 2D ultrasound system and their respective locations in order to position ...
Alexandre Krupa