Sciweavers

289 search results - page 29 / 58
» Provenance: a future history
Sort
View
EDBTW
2006
Springer
14 years 1 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
13 years 11 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»
13 years 9 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
13 years 8 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»
13 years 4 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...