1523 search results - page 157 / 305 » Partially ordered secretaries |
154
click to vote
MOBIHOC
2001
ACM
16 years 5 months ago
2001
ACM
Previously proposed sensor network data dissemination schemes require periodic low-rate flooding of data in order to allow recovery from failure. We consider constructing two kind...
148
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
145
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We present a passive computer vision method that exploits existing mapping and navigation databases in order to automatically create 3D building models. Our method defines a gramm...
142
click to vote
TACAS
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
154
click to vote
DDECS
2009
IEEE
16 years 6 days ago
2009
IEEE
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...