5634 search results - page 455 / 1127 » About Abstract Classes |
178
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
150
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Roughgarden and Sundararajan recently introduced an alternative measure of efficiency for cost sharing mechanisms. We study cost sharing methods for combinatorial optimiz...
191
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
161
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— In this paper, we analyze the throughput of interconnection networks, viewed as multi-stage queueing networks with infinite input queues, but finite internal cross-st...
205
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— This paper presents a new hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cam...