5599 search results - page 458 / 1120 » Abstract State Services |
207
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
198
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
274
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
evel of abstraction that we adopt, the functioning of a biochemical reaction is based on facilitation and inhibition: a reaction can take place if all of its reactants are present ...
177
Voted
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Inverse reinforcement learning addresses the general problem of recovering a reward function from samples of a policy provided by an expert/demonstrator. In this paper, w...
174
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a decentralized approach to multirobot manipulation where the team of robots surround and trap an object and transport it, by dragging or pushing, to the goa...