3395 search results - page 256 / 679 » Designs, Disputes and Strategies |
216
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
164
click to vote
MSWIM
2005
ACM
16 years 7 days ago
2005
ACM
One of the central problems in video transmission over lossy channels is the choice of source and channel coding rates to allocate the available transmission rate optimally. In th...
156
click to vote
ACMSE
2004
ACM
16 years 3 days ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
176
click to vote
CLEF
2003
Springer
15 years 12 months ago
2003
Springer
The CLEF 2003 Interactive Track (iCLEF) was the third year of a shared experiment design to compare strategies for cross-language search assistance. Two kinds of experiments were p...
125
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we consider a novel multimedia application, in which drivers may query multimedia clips captured by smartphones mounted on other vehicles. These multimedia clips vis...