2725 search results - page 244 / 545 » Constraint Solving for Interpolation |
185
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
176
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
201
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
156
click to vote
SIAMJO
2010
15 years 2 months ago
2010
Abstract. We consider a Newton-CG augmented Lagrangian method for solving semidefinite programming (SDP) problems from the perspective of approximate semismooth Newton methods. In ...
239
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
Looking around in our every day environment, many of the encountered objects are specular to some degree. Actively using this fact when reconstructing objects from image sequences...