Sciweavers

11394 search results - page 105 / 2279
» Self-Organizing Data Structures
Sort
View
131
Voted
CC
2005
Springer
115views System Software» more  CC 2005»
15 years 9 months ago
Hob: A Tool for Verifying Data Structure Consistency
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
112
Voted
WADS
2001
Springer
106views Algorithms» more  WADS 2001»
15 years 8 months ago
Succinct Dynamic Data Structures
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
Rajeev Raman, Venkatesh Raman, S. Srinivasa Rao
139
Voted
DAM
2010
104views more  DAM 2010»
15 years 2 months ago
Sorting with networks of data structures
We consider the problem of sorting a permutation using a network of data structures as introduced by Knuth and Tarjan. In general the model as considered previously was restricted...
Therese C. Biedl, Alexander Golynski, Angèl...
169
Voted
SDM
2011
SIAM
256views Data Mining» more  SDM 2011»
14 years 6 months ago
Temporal Structure Learning for Clustering Massive Data Streams in Real-Time
This paper describes one of the first attempts to model the temporal structure of massive data streams in real-time using data stream clustering. Recently, many data stream clust...
Michael Hahsler, Margaret H. Dunham
118
Voted
TBILLC
2005
Springer
15 years 9 months ago
Towards a Cross-Linguistic Production Data Archive: Structure and Exploration
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
Michael Götze, Stavros Skopeteas, Torsten Rol...