1396 search results - page 47 / 280 » Succinct Dynamic Data Structures |
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
173
click to vote
ISEC
2001
Springer
15 years 5 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
128
click to vote
PAKDD
1998
ACM
15 years 5 months ago
1998
ACM
Abstract. Approaches to data mining proposed so far are mainly symbolic decision trees and numerical feedforward neural networks methods. While decision trees give, in many cases, ...
108
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we propose a distributed, self organizing, robust and energy efficient data gathering algorithm for sensor networks operating in environments where all the sensor n...
104
click to vote
LISA
2004
15 years 2 months ago
2004
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...