187 search results - page 15 / 38 » Limits and Possibilities of BDDs in State Space Search |
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. We propose a new tracking technique that is able to capture non-rigid motion by exploiting a space-time rank constraint. Most tracking methods use a prior model in order ...
SOFSEM
2004
Springer
15 years 2 months ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
115
click to vote
PUK
2003
14 years 10 months ago
2003
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
99
Voted
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
104
click to vote
SPIRE
2004
Springer
15 years 2 months ago
2004
Springer
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...