440 search results - page 70 / 88 » Local reasoning for abstraction and sharing |
116
click to vote
SAB
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In this paper we study distributed online learning of locomotion gaits for modular robots. The learning is based on a stochastic approximation method, SPSA, which optimiz...
124
click to vote
ICC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Mobile wireless Ad hoc NETworks (MANETs) naturally support a traffic mix of elastic and real-time flows but the shared nature and lossy properties of the radio medium mak...
143
Voted
MOBIHOC
2005
ACM
16 years 1 months ago
2005
ACM
Abstract-We present a novel framework for the provision of deterministic end-to-end bandwidth guarantees in wireless ad hoc networks. Guided by a set of local feasibility condition...
145
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
109
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...