2268 search results - page 369 / 454 » The Essence of Form Abstraction |
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper, we lay the groundwork for extending our previously developed ASyMTRe architecture to enable constructivist learning for multi-robot team tasks. The ASyMTRe archi...
108
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The ability of smart antennas to improve performance in a typically constrained ad-hoc network environment, has helped them garner significant attention over the last ...
108
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
127
click to vote
APPROX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
146
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...