Sciweavers

11211 search results - page 425 / 2243
» Data Structures
Sort
View
ISAAC
2004
Springer
121views Algorithms» more  ISAAC 2004»
16 years 6 days ago
Approximate Distance Oracles for Graphs with Dense Clusters
Let G be a graph containing N disjoint t-spanners that are inter-connected with M edges. We present an algorithm that constructs a data structure of size O(M2 + n log n) that answ...
Mattias Andersson, Joachim Gudmundsson, Christos L...
ECSQARU
2003
Springer
16 years 2 days ago
Applications of Latent Class Analysis in Social Science Research
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...
Jeroen K. Vermunt
ESA
2003
Springer
58views Algorithms» more  ESA 2003»
16 years 1 days ago
Kinetic Dictionaries: How to Shoot a Moving Target
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 ...
Mark de Berg
SIGCSE
1999
ACM
179views Education» more  SIGCSE 1999»
15 years 11 months ago
Hospital emergency room simulation: object oriented design issues for CS2
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...
Viera K. Proulx
CAV
2010
Springer
198views Hardware» more  CAV 2010»
15 years 10 months ago
Automatically Proving Linearizability
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
Viktor Vafeiadis