40 search results - page 6 / 8 » Constraint Propagation for Soft Constraints: Generalization ... |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
FGR
1996
IEEE
13 years 11 months ago
1996
IEEE
Many current human face detection algorithmsmake implicit assumptions about the scale, orientation or viewpoint of faces in an image and exploit these constraints to detect and lo...
JMM2
2008
13 years 7 months ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...