386 search results - page 28 / 78 » ideas 2000 |
ATAL
2000
Springer
14 years 3 hour ago
2000
Springer
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
CAV
2000
Springer
14 years 1 hour ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
COLT
2000
Springer
13 years 12 months ago
2000
Springer
Haussler, Kearns, Seung and Tishby introduced the notion of a shell decomposition of the union bound as a means of understanding certain empirical phenomena in learning curves suc...
CPM
2000
Springer
13 years 12 months ago
2000
Springer
We present a Boyer-Moore approach to string matching over LZ78 and LZW compressed text. The key idea is that, despite that we cannot exactly choose which text characters to inspect...
ECWEB
2000
Springer
13 years 12 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...