Sciweavers

1783 search results - page 152 / 357
» Provenance and Data Synchronization
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 9 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
ICRA
2002
IEEE
96views Robotics» more  ICRA 2002»
15 years 9 months ago
A Suite of Tools for Debugging Distributed Autonomous Systems
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
David Kortenkamp, Reid G. Simmons, Tod Milam, Joaq...
IADT
1998
149views more  IADT 1998»
15 years 5 months ago
Transparent Integration of Continuous Media Support into a Multimedia DBMS
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
Silvia Hollfelder, Florian Schmidt, Matthias Hemmj...
WSOM
2009
Springer
15 years 10 months ago
Analytic Comparison of Self-Organising Maps
Abstract. SOMs have proven to be a very powerful tool for data analysis. However, comparing multiple SOMs trained on the same data set using different parameters or initialisation...
Rudolf Mayer, Robert Neumayer, Doris Baum, Andreas...
AUTOMATICA
2010
96views more  AUTOMATICA 2010»
15 years 4 months ago
On resampling and uncertainty estimation in Linear System Identification
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
Simone Garatti, Robert R. Bitmead