11219 search results - page 421 / 2244 » Retroactive data structures |
182
Voted
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
166
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
203
click to vote
GRAPHICSINTERFACE
1997
15 years 8 months ago
1997
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...
152
click to vote
CN
1998
15 years 6 months ago
1998
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...
203
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Thepaper deals with investigations concerning potential structures of documentsthat will be subject to automated information extraction. The focus is on folding principles and the...