13376 search results - page 2585 / 2676 » Problem Solving with |
119
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...
129
Voted
WEBNET
1996
15 years 4 months ago
1996
: Because digital libraries are expensive to create and maintain, Internet analogs of public libraries--reliable, quality, community services--have only recently begun to appear. A...
IJCAI
1989
15 years 4 months ago
1989
In equality-based binary r e s o l u t i o n , the v i a b i l i t y t e s t is used as a decision mechanism to select disagreement sets and also to define the RUE u n i f i e r ....
178
click to vote
AAAI
2008
15 years 4 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
145
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Text analysis tools are nowadays required to process increasingly large corpora which are often organized as small files (abstracts, news articles, etc). Cloud computing offers a ...