14379 search results - page 2827 / 2876 » is 2000 |
111
click to vote
AC
2000
Springer
15 years 12 days ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
109
Voted
ACTA
2000
15 years 12 days ago
2000
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...
100
Voted
AI
2000
Springer
15 years 12 days ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
104
click to vote
AI
2000
Springer
15 years 12 days ago
2000
Springer
GENET is a heuristic repair algorithm which demonstrates impressive e ciency in solving some large-scale and hard instances of constraint satisfaction problems (CSPs). In this pap...
114
click to vote
AI
2000
Springer
15 years 12 days ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....