602 search results - page 92 / 121 » Efficient Model Checking of Applications with Input Output |
CVPR
2008
IEEE
14 years 9 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...
MLMI
2007
Springer
14 years 1 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 ...
AIPS
2000
13 years 9 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...
MMS
2008
13 years 7 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...
ICASSP
2011
IEEE
12 years 11 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 ...