4814 search results - page 950 / 963 » Combining abstract interpreters |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—A private BitTorrent site (also known as a “BitTorrent darknet”) is a collection of torrents that can only be accessed by members of the darknet community. The priva...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—In this paper, we investigate the fundamental properties of broadcasting in mobile wireless networks. In particular, we characterize broadcast capacity and latency of a ...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper investigates pricing of Internet connectivity services in the context of a monopoly ISP selling broadband access to consumers. We first study the optimal com...