Sciweavers

2082 search results - page 101 / 417
» Using model knowledge for learning inverse dynamics
Sort
View
104
Voted
TCAD
2010
102views more  TCAD 2010»
14 years 9 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
150
Voted
AVSS
2009
IEEE
15 years 5 months ago
Bayesian Bio-inspired Model for Learning Interactive Trajectories
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
Alessio Dore, Carlo S. Regazzoni
AH
2008
Springer
15 years 9 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
CONTEXT
2003
Springer
15 years 7 months ago
Context Dynamic and Explanation in Contextual Graphs
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...
Patrick Brézillon
105
Voted
AIPS
1994
15 years 3 months ago
Robot Motion Planning Integrating Planning Strategies and Learning Methods
Robot motion planning in a dynamic cluttered workspace requires the capability of dealing with obstacles and deadlock situations. The paper analyzes situations where the robot is ...
Luca Maria Gambardella, Cristina Versino