1980 search results - page 343 / 396 » Compositional Model Checking of Real Time Systems |
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
In functional Magnetic Resonance Imaging (fMRI), the Hemodynamic Response Function (HRF) represents the impulse response of the neurovascular system. Its identification is essenti...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
We present AuraMirror, a system that visualizes virtual windows of attention: the commodity of visual attention people exchange during interactions in small groups. AuraMirror act...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Visual servoing requires an object in the field of view of the camera, in order to control the robot evolution. Otherwise, the virtual link is broken and the control loop cannot c...