3256 search results - page 606 / 652 » Applications of Formal Methods to System Design and Verifica... |
AVI
2010
14 years 11 months ago
2010
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
MM
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we describe a new application for multimedia indexing, using a system that monitors the instrumental activities of daily living to assess the cognitive decline caus...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Automatically annotating or tagging unlabeled audio files has several applications, such as database organization and recommender systems. We are interested in the case where the...
FGCS
1998
14 years 9 months ago
1998
Scientists can gain much more insight from their simulations if they are enabled to change simulation parameters on the y while observing the results immediately. A crucial aspect...
ISDA
2010
IEEE
14 years 7 months ago
2010
IEEE
Dimensionality reduction and feature selection in particular are known to be of a great help for making supervised learning more effective and efficient. Many different feature sel...