Sciweavers

861 search results - page 96 / 173
» Internal implementation
Sort
View
ICDE
2004
IEEE
139views Database» more  ICDE 2004»
15 years 11 months ago
Engineering a Fast Online Persistent Suffix Tree Construction
Online persistent suffix tree construction has been considered impractical due to its excessive I/O costs. However, these prior studies have not taken into account the effects of ...
Srikanta J. Bedathur, Jayant R. Haritsa
ICDE
2003
IEEE
141views Database» more  ICDE 2003»
15 years 11 months ago
HDoV-tree: The Structure, The Storage, The Speed
In a visualization system, one of the key issues is to optimize performance and visual fidelity. This is especially critical for large virtual environments where the models do not...
Lidan Shou, Zhiyong Huang, Kian-Lee Tan
ISBI
2004
IEEE
15 years 10 months ago
Enhanced Snake-Based Segmentation of Vocal Folds
We present a system to segment the medial edges of the vocal folds from stroboscopic video. The system has two components. The first learns a color transformation that optimally d...
Sonya Allin, John M. Galeotti, George D. Stetten, ...
99
Voted
SIGMOD
2001
ACM
221views Database» more  SIGMOD 2001»
15 years 10 months ago
Adaptable Query Optimization and Evaluation in Temporal Middleware
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
ESOP
2010
Springer
15 years 7 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez