2584 search results - page 257 / 517 » On the Forward Checking Algorithm |
137
click to vote
DAC
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
128
Voted
SIGCOMM
1995
ACM
15 years 6 months ago
1995
ACM
Checksum and CRC algorithms have historically been studied under the assumption that the data fed to the algorithms was uniformly distributed. This paper examines the behavior of ...
117
click to vote
DIALM
2008
ACM
15 years 4 months ago
2008
ACM
We consider the Maximum Integral Flow with Energy Constraints problem: given a directed graph G = (V, E) with edge-weights {w(e) : e E} and node battery capacities {b(v) : v V }...
127
click to vote
AAAI
2004
15 years 4 months ago
2004
We present an efficient approach to adding soft constraints, in the form of preferences, to Disjunctive Temporal Problems (DTPs) and their subclass Temporal Constraint Satisfactio...
242
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...