8874 search results - page 1526 / 1775 » A New Implementation of Automath |
195
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Many of today's Web applications support just simple trial-anderror retrievals: supply one set of parameters, obtain one set of results. For a user who wants to examine a num...
333
click to vote
PADL
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
210
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
243
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
165
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Computer architects utilize simulation tools to evaluate the merits of a new design feature. The time needed to adequately evaluate the tradeoffs associated with adding any new fe...