Sciweavers

2056 search results - page 277 / 412
» Detecting Errors in Spreadsheets
Sort
View
ISWC
2005
IEEE
15 years 10 months ago
Recognizing Mimicked Autistic Self-Stimulatory Behaviors Using HMMs
Children with autism often exhibit self-stimulatory (or “stimming”) behaviors. We present an on-body sensing system for continuous recognition of stimming activity. By creatin...
Tracy L. Westeyn, Kristin Vadas, Xuehai Bian, Thad...
SEFM
2005
IEEE
15 years 10 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
AMS
2005
Springer
107views Robotics» more  AMS 2005»
15 years 10 months ago
Elastic View Graphs: A new Framework for Sequential 3D-SLAM
This paper presents a new approach for incremental 3D SLAM from segmented range images with unknown feature association. For feature and motion tracking, an any-time interpretation...
Peter Kohlhepp, Marcus Walther
FPL
2005
Springer
115views Hardware» more  FPL 2005»
15 years 10 months ago
Statistical Power Estimation for FPGA
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
Elias Todorovich, Fabian Angarita, Javier Valls, E...
MLMI
2005
Springer
15 years 10 months ago
The TNO Speaker Diarization System for NIST RT05s Meeting Data
The TNO speaker speaker diarization system is based on a standard BIC segmentation and clustering algorithm. Since for the NIST Rich Transcription speaker dizarization evaluation m...
David van Leeuwen