1523 search results - page 232 / 305 » Partially ordered secretaries |
111
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
97
Voted
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
On-line/Off-line signatures are used in a particular scenario where the signer must respond quickly once the message to be signed is presented. The idea is to split the signing pro...
119
Voted
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
131
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper concerns the cross-layer design between physical layer and MAC (Multiple Access Control) layer in asynchronous wireless random access network. The proposed cross-layer d...
101
Voted
ANTSW
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study the cooperative transport of a heavy object by a group of robots towards a goal. We investigate the case in which robots have partial and noisy knowledge of...