569 search results - page 38 / 114 » An Empirical Study of Structural Constraint Solving Techniqu... |
AIPS
2007
13 years 9 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
RE
2005
Springer
14 years 26 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
CP
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
AVSS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
GG
2004
Springer
14 years 23 days ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...