2713 search results - page 164 / 543 » Parameterized Tree Systems |
107
click to vote
TACAS
2004
Springer
15 years 9 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...
150
Voted
ICCV
2003
IEEE
15 years 9 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 ...
131
Voted
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
Display of continuous media using self-organizing ad hoc networks of wireless communication systems will potentially be used in a variety of applications. Example deployments migh...
102
click to vote
CDC
2008
IEEE
15 years 5 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...
109
click to vote
UAI
2001
15 years 5 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...