1264 search results - page 76 / 253 » The framework approach for constraint satisfaction |
167
click to vote
ICPR
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper describes a new approach to unify constraints on parameters with training data to perform parameter estimation in Bayesian networks of known structure. The method is ge...
148
click to vote
RSS
2007
15 years 7 months ago
2007
— This paper studies the optimal motion control of mechanical systems through a discrete geometric approach. At the core of our formulation is a discrete Lagrange-d’AlembertPon...
284
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
141
click to vote
ICTAI
2007
IEEE
16 years 16 days ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
130
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper introduces box approximations as a new tool for path planning of closed-loop linkages. Box approximations are finite collections of rectangloids that tightly envelo...