Sciweavers

1683 search results - page 299 / 337
» Testing system virtual machines
Sort
View
IGPL
2006
110views more  IGPL 2006»
13 years 7 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
JCP
2008
157views more  JCP 2008»
13 years 7 months ago
A New Information Fusion Method for Bimodal Robotic Emotion Recognition
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...
Meng-Ju Han, Jing-Huai Hsu, Kai-Tai Song, Fuh-Yu C...
JFR
2008
148views more  JFR 2008»
13 years 7 months ago
Terrain-based vehicle orientation estimation combining vision and inertial measurements
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
Vishisht Gupta, Sean Brennan
TCSV
2008
211views more  TCSV 2008»
13 years 7 months ago
Audio-Assisted Movie Dialogue Detection
An audio-assisted system is investigated that detects if a movie scene is a dialogue or not. The system is based on actor indicator functions. That is, functions which define if an...
Margarita Kotti, Dimitrios Ververidis, Georgios Ev...
AAI
1998
101views more  AAI 1998»
13 years 7 months ago
Layered Approach to Learning Client Behaviors in the Robocup Soccer Server
In the past few years, Multiagent Systems (MAS) has emerged as an active subfield of Artificial Intelligence (AI). Because of the inherent complexity of MAS, there is much inter...
Peter Stone, Manuela M. Veloso