102 search results - page 1 / 21 » Constraint Model Elimination and a PTTP-Implementation |
TABLEAUX
1995
Springer
13 years 8 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
CONSTRAINTS
2008
13 years 4 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
3DPVT
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
CVPR
1997
IEEE
14 years 6 months ago
1997
IEEE
This paper considers a specific problem of visual perception of motion, namely the problem of visual detection of independent 3D motion. Most of the existing techniques for solvin...
SARA
2009
Springer
13 years 11 months ago
2009
Springer
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...