22 search results - page 3 / 5 » Incremental Breakout Algorithm with Variable Ordering |
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
The discovery of sequential patterns, which extends beyond frequent item-set finding of association rule mining, has become a challenging task due to its complexity. Essentially, ...
DISOPT
2008
14 years 9 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
102
Voted
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— Different coherence dimensions can be considered to improve the performances of an algorithm for computing collision translations of pairs of convex polyhedra. The algorithm’...
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
We have developed a fast robust 3D head tracking system based on rendering a texture-mapped cylinder. In order to handle the variable frame-to-frame motion changes, the system use...