4757 search results - page 545 / 952 » Monads for Functional Programming |
224
click to vote
TON
2012
13 years 9 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
212
click to vote
TON
2012
13 years 9 months ago
2012
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
610
Voted
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
195
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a reinforcement learning architecture, Dyna-2, that encompasses both samplebased learning and sample-based search, and that generalises across states during both learni...
179
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...