Sciweavers

4234 search results - page 234 / 847
» OLAP on sequence data
Sort
View
CAV
2010
Springer
192views Hardware» more  CAV 2010»
15 years 8 months ago
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, A...
VISUALIZATION
1995
IEEE
15 years 8 months ago
Compression Domain Rendering of Time-Resolved Volume Data
An important challenge in the visualization of three dimensional volume data is the e cient processing and rendering of time-resolved sequences. Only the use of compression techni...
Rüdiger Westermann
JIPS
2010
154views more  JIPS 2010»
14 years 11 months ago
Mining Spatio-Temporal Patterns in Trajectory Data
Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approac...
Juyoung Kang 0002, Hwan-Seung Yong
PRIB
2009
Springer
100views Bioinformatics» more  PRIB 2009»
15 years 11 months ago
Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...
Gianluigi Folino, Fabio Gori, Mike S. M. Jetten, E...
AMR
2005
Springer
137views Multimedia» more  AMR 2005»
15 years 10 months ago
Information Retrieval of Sequential Data in Heterogeneous XML Databases
The XML language is a W3C standard sustained by both the industry and the scientific community. Therefore, the available information annotated in XML keeps and will keep increasing...
Eugen Popovici, Pierre-Francois Marteau, Gildas M&...