2584 search results - page 304 / 517 » On the Forward Checking Algorithm |
151
click to vote
WALCOM
2010
IEEE
15 years 1 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...
112
Voted
ICPR
2010
IEEE
15 years 1 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...
154
Voted
CIDR
2011
14 years 7 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 ...
228
Voted
ICDE
2003
IEEE
16 years 4 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...
125
click to vote
DAC
2000
ACM
16 years 4 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...