1140 search results - page 159 / 228 » Progress on Certifying Algorithms |
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
COCO
2007
Springer
14 years 4 months ago
2007
Springer
We make progress in understanding the complexity of the graph reachability problem in the context of unambiguous logarithmic space computation; a restricted form of nondeterminism....
TCC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to a...
CVPR
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an algorithm for jointly learning a consistent bidirectional generative-recognition model that combines top-down and bottom-up processing for monocular 3d human motion ...
HPDC
2006
IEEE
14 years 4 months ago
2006
IEEE
ALPS is a per-application user-level proportional-share scheduler that operates with low overhead and without any special kernel support. ALPS is useful to a range of applications...