Sciweavers

5600 search results - page 147 / 1120
» Synthesizing robust systems
Sort
View
ICRA
2006
IEEE
109views Robotics» more  ICRA 2006»
14 years 3 months ago
Robust Statistics for 3D Object Tracking
Abstract— This paper focuses on methods that enhance performance of a model based 3D object tracking system. Three statistical methods and an improved edge detector are discussed...
Peter Preisig, Danica Kragic
ACSD
2006
IEEE
81views Hardware» more  ACSD 2006»
14 years 3 months ago
Monitoring and fault-diagnosis with digital clocks
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
Karine Altisen, Franck Cassez, Stavros Tripakis
FOSSACS
2005
Springer
14 years 2 months ago
Fault Diagnosis Using Timed Automata
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
TSD
2004
Springer
14 years 2 months ago
Slovak Speech Database for Experiments and Application Building in Unit-Selection Speech Synthesis
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
Milan Rusko, Marián Trnka, Sachia Darz&aacu...
DAGSTUHL
2004
13 years 10 months ago
SHIM: A Language for Hardware/Software Integration
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
Stephen A. Edwards