903 search results - page 141 / 181 » Completeness Results for Memory Logics |
165
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
Decision tree induction algorithms scale well to large datasets for their univariate and divide-and-conquer approach. However, they may fail in discovering effective knowledge when...
165
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
The fastest known algorithms for factoring large numbers share a core sieving technique. The sieving cores find numbers that are completely factored over a prime base set raised t...
191
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...
172
click to vote
WSC
1997
15 years 7 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
164
click to vote
AR
2007
15 years 6 months ago
2007
—Reinforcement learning is the scheme for unsupervised learning in which robots are expected to acquire behavior skills through self-explorations based on reward signals. There a...