11394 search results - page 435 / 2279 » Error-Correcting Data Structures |
111
Voted
ER
2008
Springer
15 years 6 months ago
2008
Springer
Observational data (i.e., data that records observations and measurements) plays a key role in many scientific disciplines. Observational data, however, are typically structured an...
118
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
A new data structure for representing the color of rays from multiple-view images is presented. The structure is a hexagonal tessellation generated from a buckyball. Using the str...
153
Voted
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
146
Voted
ITP
2010
15 years 9 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...
132
click to vote
SODA
2004
ACM
15 years 6 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...