Sciweavers

32545 search results - page 600 / 6509
» Data Structures and Algorithms
Sort
View
SAS
2007
Springer
16 years 1 months ago
Modular Safety Checking for Fine-Grained Concurrency
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
Cristiano Calcagno, Matthew J. Parkinson, Viktor V...
CSSW
2007
15 years 8 months ago
A Prototype to Explore Content and Context on Social Community Sites
: The SIOC Ontology can be used to express information from the online community sites in a machine-readable form using RDF. This rich data structure allows us to easily analyse an...
Uldis Bojars, Benjamin Heitmann, Eyal Oren
ALGORITHMICA
2005
108views more  ALGORITHMICA 2005»
15 years 7 months ago
Key-Independent Optimality
A new form of optimality for comparison based static dictionaries is introduced. This type of optimality, keyindependent optimality, is motivated by applications that assign key v...
John Iacono
CORR
2004
Springer
146views Education» more  CORR 2004»
15 years 7 months ago
Mining Frequent Itemsets from Secondary Memory
Mining frequent itemsets is at the core of mining association rules, and is by now quite well understood algorithmically for main memory databases. In this paper, we investigate a...
Gösta Grahne, Jianfei Zhu
TMM
2002
115views more  TMM 2002»
15 years 7 months ago
Principles of schema design for multimedia databases
This paper presents the rudiments of a theory of schema design for databases containing high dimensional features of the type used for describing multimedia data. We introduce a mo...
Simone Santini, Amarnath Gupta