Sciweavers

16568 search results - page 340 / 3314
» Structured Data on the Web
Sort
View
AGILE
2007
Springer
149views GIS» more  AGILE 2007»
16 years 27 days ago
A Compact Topological DBMS Data Structure For 3D Topography
Friso Penninga, Peter van Oosterom
APN
2007
Springer
16 years 27 days ago
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
ICALP
2007
Springer
16 years 26 days ago
A Framework for Dynamizing Succinct Data Structures
Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
VMCAI
2007
Springer
16 years 25 days ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...