27827 search results - page 637 / 5566 » Generating |
214
click to vote
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
197
Voted
INFOCOM
2009
IEEE
16 years 2 months ago
2009
IEEE
Currently, the increasing rate of routing lookups in Internet routers, the large number of prefixes and also the transition from IPV4 to IPV6, have caused Internet designers to pro...
173
Voted
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
—This study attempts to make a compact humanoid robot acquire a giant-swing motion without any robotic models by using reinforcement learning; only the interaction with environme...
177
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— This paper deals with constant disturbances rejection in limit cycle tracking for an underactuated mechanical system. The feedback controler presented in [1] is enhance...