2584 search results - page 304 / 517 » On the Forward Checking Algorithm |
196
click to vote
WALCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
In a distributed computing environment a faulty node could lead other nodes in the system to behave in a faulty manor. An initial set of faults could make all the nodes in the syst...
157
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We report performance evaluation of our automatic feature discovery method on the publicly available Gisette dataset: a set of 29 features discovered by our method ranks 129 among...
204
click to vote
CIDR
2011
14 years 10 months ago
2011
Hyder supports reads and writes on indexed records within classical multi-step transactions. It is designed to run on a cluster of servers that have shared access to a large pool ...
272
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
168
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...