Sciweavers

4163 search results - page 407 / 833
» Enhancing surgical systems
Sort
View
223
Voted
CMSB
2007
Springer
16 years 1 months ago
Context Sensitivity in Logical Modeling with Time Delays
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
Heike Siebert, Alexander Bockmayr
DAARC
2007
Springer
124views Algorithms» more  DAARC 2007»
16 years 1 months ago
"Who Are We Talking About?" Tracking the Referent in a Question Answering Series
Abstract. The capability of handling anaphora is becoming a key feature for Question Answering systems, as it can play a crucial role at different stages of the QA loop. At the qu...
Matteo Negri, Milen Kouylekov
173
Voted
EUROSSC
2007
Springer
16 years 1 months ago
Mapping by Seeing - Wearable Vision-Based Dead-Reckoning, and Closing the Loop
We introduce, characterize and test a vision-based dead-reckoning system for wearable computing that allows to track the user’s trajectory in an unknown and non-instrumented envi...
Daniel Roggen, Reto Jenny, Patrick de la Hamette, ...
161
Voted
ICFEM
2007
Springer
16 years 1 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
HICSS
2006
IEEE
151views Biometrics» more  HICSS 2006»
16 years 27 days ago
Project Progress Tracking Template - Using a Repeatable GSS Process to Facilitate Project Process Management
This article presents the findings of an action research study in which a repeatable GSS (Group Support System) process was adopted by project teams to track their progress. The r...
Fang Chen, Robert O. Briggs, Gail Corbitt, Jay F. ...