Sciweavers

289 search results - page 29 / 58
» Provenance: a future history
Sort
View
EDBTW
2006
Springer
15 years 10 months ago
Constructing Optimal Wavelet Synopses
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...
Dimitris Sacharidis
DAGSTUHL
1993
15 years 8 months ago
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van...
EXPERT
2000
75views more  EXPERT 2000»
15 years 6 months ago
Integrating Robotics Research with Undergraduate Education
The field of robotics moves so quickly and encompasses such a wide range of disciplines and applications that education in robotics must be adaptive and incorporate a multidiscipl...
Bruce A. Maxwell, Lisa Meeden
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
AO
2011
154views more  AO 2011»
15 years 1 months ago
MIREOT: The minimum information to reference an external ontology term
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
Mélanie Courtot, Frank Gibson, Allyson L. L...