Sciweavers

3360 search results - page 136 / 672
» Opportunistic Data Structures with Applications
Sort
View
108
Voted
BMCBI
2007
115views more  BMCBI 2007»
15 years 3 months ago
A novel, fast, HMM-with-Duration implementation - for application with a new, pattern recognition informed, nanopore detector
Background: Hidden Markov Models (HMMs) provide an excellent means for structure identification and feature extraction on stochastic sequential data. An HMM-with-Duration (HMMwD) ...
Stephen Winters-Hilt, Carl Baribault
127
Voted
ITP
2010
179views Mathematics» more  ITP 2010»
15 years 7 months ago
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
Peter Lammich, Andreas Lochbihler
152
Voted
GRAPHICSINTERFACE
1997
15 years 5 months ago
Multiresolution BSP Trees Applied to Terrain, Transparency, and General Objects
We present a system for incorporating multiple level of detail (LOD) models of 3D objects within a single hierarchical data structure. This system was designed for a scientific vi...
Charles Wiley, A. T. Campbell III, Stephen A. Szyg...
112
Voted
CN
1998
58views more  CN 1998»
15 years 3 months ago
A solid modeling library for the World Wide Web
A library of functions for the creation, manipulation, and viewing of solid models was created for deployment on the World Wide Web. The core data structure was based on the halfe...
Stephen Chi-fai Chan, Vincent T. Y. Ng, Albert S. ...
144
Voted
WEA
2007
Springer
131views Algorithms» more  WEA 2007»
15 years 9 months ago
On the Cost of Persistence and Authentication in Skip Lists
We present an extensive experimental study of authenticated data structures for dictionaries and maps implemented with skip lists. We consider realizations of these data structures...
Michael T. Goodrich, Charalampos Papamanthou, Robe...