2584 search results - page 319 / 517 » On the Forward Checking Algorithm |
130
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...
109
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
In Robotics, many path-planning algorithms have been proposed but almost all are evaluated only by their path lengths in PC. However, the evaluation is completely independent of a...
112
Voted
NETWORKING
2010
15 years 4 months ago
2010
Abstract. Packet classification is a fundamental task for network devices such as edge routers, firewalls, and intrusion detection systems. Currently, most vendors use Ternary Cont...
104
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
156
Voted
CG
2007
Springer
15 years 2 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...