Sciweavers

15120 search results - page 333 / 3024
» Learning with Local Models
Sort
View
ICRA
2005
IEEE
91views Robotics» more  ICRA 2005»
16 years 8 days ago
Learning to Steer on Winding Tracks Using Semi-Parametric Control Policies
— We present a semi-parametric control policy representation and use it to solve a series of nonholonomic control problems with input state spaces of up to 7 dimensions. A neares...
Kenneth Robert Alton, Michiel van de Panne
AIPS
1994
15 years 8 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
JACIII
2006
97views more  JACIII 2006»
15 years 6 months ago
Opposition-Based Reinforcement Learning
In this paper a method for image segmentation using an opposition-based reinforcement learning scheme is introduced. We use this agent-based approach to optimally find the appropri...
Hamid R. Tizhoosh
POPL
2006
ACM
16 years 7 months ago
A fixpoint calculus for local and global program flows
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
TCAD
2008
90views more  TCAD 2008»
15 years 6 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch