494 search results - page 60 / 99 » Heap Building Bounds |
ATAL
2010
Springer
15 years 2 days ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
201
click to vote
TKDE
2012
13 years 1 months ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
101
click to vote
CVPR
2005
IEEE
16 years 29 days ago
2005
IEEE
When one scans a document page from a thick bound volume, the curvature of the page to be scanned results in two kinds of distortion in the scanned document images: i) shade along...
177
click to vote
ICDE
2003
IEEE
16 years 9 days ago
2003
IEEE
We consider the problem of joining massive datasets. We propose two techniques for minimizing disk I/O cost of join operations for both spatial and sequence data. Our techniques o...