Sciweavers

1407 search results - page 228 / 282
» Learning Abstract Scheduling Models
Sort
View
CCIA
2007
Springer
14 years 4 months ago
An Evaluation of an Object Recognition Schema Using Multiple Region Detectors
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
Meritxell Vinyals, Arnau Ramisa, Ricardo Toledo
CIARP
2007
Springer
14 years 4 months ago
A Statistical User Simulation Technique for the Improvement of a Spoken Dialog System
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...
Lluís Hurtado, David Griol, Emilio Sanchis,...
EMMCVPR
2007
Springer
14 years 4 months ago
Decomposing Document Images by Heuristic Search
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
Dashan Gao, Yizhou Wang
IROS
2006
IEEE
124views Robotics» more  IROS 2006»
14 years 4 months ago
Simulation of Acquisition of Locomotion of an Infant Robot
Abstract— The authors proposed a simulation method to clarify the developmental process of human locomotion using a model of infant robot. The infant robot has many degrees of fr...
Katsuyoshi Tsujita, Tatsuya Masuda
CAV
2005
Springer
99views Hardware» more  CAV 2005»
14 years 3 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...