26151 search results - page 108 / 5231 » Parameterized system design |
142
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
178
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces the concept of eigen-dynamics and proposes an eigen dynamics analysis (EDA) method to learn the dynamics of natural hand motion from labelled sets of motion ...
143
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper gives an overview of guidance laws that can be applied for planar motion control purposes. Considered scenarios include target tracking, where only instantaneous informa...
144
click to vote
UAI
2001
15 years 7 months ago
2001
There exist a number of reinforcement learning algorithms which learn by climbing the gradient of expected reward. Their long-run convergence has been proved, even in partially ob...
165
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...