1390 search results - page 196 / 278 » Streaming Algorithms Measured in Terms of the Computed Quant... |
ASSETS
2006
ACM
14 years 2 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
The explosive growth of the mobile application market has made it a significant challenge for the users to find interesting applications in crowded App Stores. To alleviate this...
OPODIS
2010
13 years 6 months ago
2010
The need for efficient decentralized recommender systems has been appreciated for some time, both for the intrinsic advantages of decentralization and the necessity of integrating...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we continue our investigations of "web spam": the injection of artificially-created pages into the web in order to influence the results from search engin...