Sciweavers

435 search results - page 72 / 87
» Methods to Learn Abstract Scheduling Models
Sort
View
IROS
2006
IEEE
124views Robotics» more  IROS 2006»
14 years 2 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
ICFCA
2004
Springer
14 years 2 months ago
Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
Philipp Cimiano, Andreas Hotho, Gerd Stumme, Julie...
ICANN
2001
Springer
14 years 1 months ago
Generalized Relevance LVQ for Time Series
Abstract. An application of the recently proposed generalized relevance learning vector quantization (GRLVQ) to the analysis and modeling of time series data is presented. We use G...
Marc Strickert, Thorsten Bojer, Barbara Hammer
EMMCVPR
2007
Springer
14 years 2 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
CAV
2005
Springer
99views Hardware» more  CAV 2005»
14 years 2 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...