11394 search results - page 529 / 2279 » Error-Correcting Data Structures |
178
Voted
ECSQARU
2003
Springer
16 years 8 days ago
2003
Springer
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
167
click to vote
ESA
2003
Springer
16 years 8 days ago
2003
Springer
A kinetic dictionary is a data structure for storing a set S of continuously moving points on the real line, such that at any time we can quickly determine for a given query point ...
164
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a project suitable for students in CS2 that combines the classical implementation of basic data structures (priority queues, lists, arrays) with the design an...
200
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
168
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...