5015 search results - page 401 / 1003 » Model Checking a Path |
165
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
175
click to vote
IMR
2004
Springer
16 years 2 days ago
2004
Springer
We propose a new two-dimensional meshing algorithm called PINW able to generate meshes that accurately approximate the distance between any two domain points by paths composed onl...
143
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
We model reinforcement learning as the problem of learning to control a Partially Observable Markov Decision Process ( ¢¡¤£¦¥§ ), and focus on gradient ascent approache...
191
click to vote
COOPIS
1997
IEEE
15 years 11 months ago
1997
IEEE
W e discuss the modification of queries against an integrated view in a federation of object-oriented databases. W epresent a generalisation of existing algorithms for simple glob...
142
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...