Sciweavers

1396 search results - page 167 / 280
» Succinct Dynamic Data Structures
Sort
View
VIS
2007
IEEE
216views Visualization» more  VIS 2007»
16 years 2 months ago
Interactive Isosurface Ray Tracing of Time-Varying Tetrahedral Volumes
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...
Ingo Wald, Heiko Friedrich, Aaron Knoll, Charle...
FOSSACS
2007
Springer
15 years 7 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
SIGMOD
2004
ACM
262views Database» more  SIGMOD 2004»
16 years 1 months ago
The Next Database Revolution
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
Jim Gray
SIGMOD
2007
ACM
144views Database» more  SIGMOD 2007»
16 years 1 months ago
The TopX DB&IR engine
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
Martin Theobald, Ralf Schenkel, Gerhard Weikum
WCRE
2009
IEEE
15 years 8 months ago
Supporting Feature-Level Software Maintenance
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...
Meghan Revelle