11211 search results - page 107 / 2243 » Rank-Sensitive Data Structures |
98
Voted
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
109
Voted
CCCG
2010
15 years 2 months ago
2010
We present a data structure for efficient axis-aligned orthogonal range search on a set of n lines in a bounded plane. The algorithm requires O(log n + k) time in the worst case t...
155
Voted
BIOCOMP
2006
15 years 2 months ago
2006
Exploring gene regulatory network is a key topic in molecular biology. In this paper, we present a new dynamic Bayesian network (DBN) framework embedded with structural expectatio...
123
click to vote
SIGCOMM
2010
ACM
15 years 28 days ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
104
Voted
CN
2008
15 years 25 days ago
2008
In the past years there has been significant research on developing compact data structures for summarizing large data streams. A family of such data structures is the so-called s...