Sciweavers

3511 search results - page 291 / 703
» Evaluation Methods for Groupware Systems
Sort
View
RTA
2009
Springer
16 years 1 months ago
Loops under Strategies
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
René Thiemann, Christian Sternagel
ICPR
2008
IEEE
16 years 1 months ago
Video-based activity and movement pattern analysis in overnight sleep studies
We present a non-contact monitoring system to measure the quality of sleep using near-infrared video in this paper. We envision a smart home environment in which a processing modu...
Wen-Hung Liao, Chien-Ming Yang
QEST
2008
IEEE
16 years 1 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
GI
2007
Springer
16 years 25 days ago
Multiagent-based Logistics Simulation with PlaSMA
: This paper gives a short overview of the multiagent-based simulation system PlaSMA. The system provides distributed discrete event simulation with conservative synchronisation. P...
Jan D. Gehrke, Christian Ober-Blöbaum
163
Voted
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
16 years 8 days ago
Calibration and Synchronization of a Robot-Mounted Camera for Fast Sensor-Based Robot Motion
— For precise control of robots along paths which are sensed online it is of fundamental importance to have a calibrated system. In addition to the identification of the sensor ...
Friedrich Lange, Gerd Hirzinger