11212 search results - page 1826 / 2243 » Semi-persistent Data Structures |
131
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
173
click to vote
BIOWIRE
2007
Springer
16 years 16 days ago
2007
Springer
Emerging pervasive computing technologies such as sensor networks and RFID tags can be embedded in our everyday environment to digitally store and elaborate a variety of informatio...
161
click to vote
CLEF
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper provides baseline results for the medical automatic annotation task of CLEF 2007 by applying the image retrieval in medical applications (IRMA)-based algorithm...
164
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
170
click to vote
DEXA
2007
Springer
16 years 15 days ago
2007
Springer
We present an access method for set-valued attributes that is based on a multi-level extendible hashing scheme. This scheme avoids exponential directory growth for skewed data and...