Sciweavers

801 search results - page 58 / 161
» Robust Software
Sort
View
ICMI
2003
Springer
106views Biometrics» more  ICMI 2003»
14 years 3 months ago
Perceptual user interfaces using vision-based eye tracking
We present a multi-camera vision-based eye tracking method to robustly locate and track user’s eyes as they interact with an application. We propose enhancements to various visi...
Ravikrishna Ruddarraju, Antonio Haro, Kris Nagel, ...
MICCAI
2010
Springer
13 years 8 months ago
Automated Sulci Identification via Intrinsic Modeling of Cortical Anatomy
In this paper we propose a novel and robust system for the automated identification of major sulci on cortical surfaces. Using multiscale representation and intrinsic surface mappi...
Yonggang Shi, Bo Sun, Rongjie Lai, Ivo D. Dinov, A...
EMSOFT
2011
Springer
12 years 9 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
ASWSD
2004
Springer
14 years 3 months ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ
ATAL
2004
Springer
14 years 3 months ago
The EO-1 Autonomous Science Agent
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
Steve A. Chien, Rob Sherwood, Daniel Tran, Benjami...