1916 search results - page 199 / 384 » Reconfiguring a state machine |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
One-counter automata are a fundamental and widely-studied class of infinite-state systems. In this paper we consider one-counter automata with counter updates encoded in binary—...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
PDP
2007
IEEE
14 years 2 months ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
– In this paper, we present a hierarchical methodology that learns new walking gaits autonomously while operating in an uncharted environment, such as on the Mars planetary surfa...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....