Sciweavers

3884 search results - page 503 / 777
» A simplified modeling approach for human system interaction
Sort
View
FGR
2008
IEEE
269views Biometrics» more  FGR 2008»
16 years 1 months ago
Real-time facial expression recognition with illumination-corrected image sequences
We present a real-time user-independent computer vision system that processes a sequence of images of a front-facing human face and recognises a set of facial expressions at 30 fp...
He Li, José Miguel Buenaposada, Luis Baumel...
IUI
2012
ACM
14 years 2 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
FMCAD
2008
Springer
15 years 8 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
AROBOTS
2008
146views more  AROBOTS 2008»
15 years 6 months ago
Biologically-inspired 3D grasp synthesis based on visual exploration
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
Gabriel Recatalá, Eris Chinellato, Angel P....
SIGGRAPH
1996
ACM
15 years 11 months ago
Technologies for Augmented Reality Systems: Realizing Ultrasound-Guided Needle Biopsies
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
Andrei State, Mark A. Livingston, William F. Garre...