1071 search results - page 14 / 215 » Solving Geometric Constraint Systems |
74
Voted
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
74
Voted
CVRMED
1997
Springer
1997
Springer
Geometric constraint analysis and synthesis: methods for improving shape-based registration accuracy
15 years 1 months ago
Shape-based registration is a process for estimating the transformation between two shape representations of an object. It is used in many image-guided surgical systems to establis...
RC
2002
14 years 9 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
—Constraint satisfaction problems (CSPs) widely occur in artificial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...
JAIR
2002
14 years 9 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...