303 search results - page 30 / 61 » Update Algorithms for the Sketch Data Model |
155
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
130
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Data outsourcing is emerging today as a successful paradigm allowing users and organizations to exploit external services for the distribution of resources. A crucial problem to b...
167
click to vote
SEBD
2003
15 years 5 months ago
2003
Abstract. The management of user preferences is becoming a fundamental ingredient of modern Web-based data-intensive applications, in which information filtering is crucial to red...
158
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
141
click to vote
DEXA
1998
Springer
15 years 8 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...