7195 search results - page 344 / 1439 » On Computing Power |
230
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Recently, skyline queries have attracted much attention in the database research community. Space partitioning techniques, such as recursive division of the data space, have been ...
152
click to vote
PODS
2006
ACM
16 years 5 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
150
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper provides an overview of the Blue Matter application development effort within the Blue Gene project that supports our scientific simulation efforts in the areas of pro...
153
click to vote
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
Recommender systems have been subject to an enormous rise in popularity and research interest over the last ten years. At the same time, very large taxonomies for product classifi...
157
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...