602 search results - page 92 / 121 » Efficient Model Checking of Applications with Input Output |
121
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...
129
click to vote
MLMI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present a meeting state recognizer based on a combination of multi-modal sensor data in a smart room. Our approach is based on the training of a statistical model ...
119
click to vote
AIPS
2000
15 years 4 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
115
click to vote
MMS
2008
15 years 2 months ago
2008
As the broadcast industry is evolving toward IT-based facilities, the production workflows and their associated production metadata should similarly take advantage of IT commoditi...
171
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
A key problem in using the output of an auditory model as the input to a machine-learning system in a machine-hearing application is to find a good feature-extraction layer. For ...