10910 search results - page 75 / 2182 » Input modeling using a computer algebra system |
CSL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Orthogonal information present in the video signal associated with the audio helps in improving the accuracy of a speech recognition system. Audio-visual speech recognition involv...
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Innovative scientific applications and emerging dense data sources are creating a data deluge for highend computing systems. Processing such large input data typically involves cop...
ICDCSW
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present the Gesture Cube, a digitally augmented cube for human-computer interaction. The Gesture Cube is designed to be an unobtrusive and playful interaction de...
ISBI
2004
IEEE
15 years 10 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...