5599 search results - page 421 / 1120 » Abstract State Services |
163
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper deals with a discret-time control approach, proposed for the control of a five-link, four-actuator planar biped walker. The approach is based on the choice ...
167
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
180
click to vote
EUROGP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
197
Voted
FIMH
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Over the past several decades, the mouse has gained prominence in the cardiac electrophysiology literature as the animal model of choice. Using computer models of the mou...
136
Voted
SIGMETRICS
2006
ACM
16 years 22 days ago
2006
ACM
Abstract— We consider a wireless system with multiple channels where each channel is either on or off, and probing the state of any channel incurs a cost. We present a polynomial...