2907 search results - page 122 / 582 » Presentations of Structures in Admissible Sets |
99
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present the first adaptive data structure for two-dimensional orthogonal range search. Our data structure is adaptive in the sense that it gives improved search perfo...
120
click to vote
SIGMOD
2000
ACM
15 years 5 months ago
2000
ACM
This paper addresses the problem of finding the K closest pairs between two spatial data sets, where each set is stored in a structure belonging in the R-tree family. Five diffe...
RTS
2008
15 years 8 days ago
2008
In the control of continuous and physical systems, the controlled system is sampled sufficiently fast to capture the dynamics of the system. In general, this property cannot be app...
118
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
122
click to vote
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...