8928 search results - page 1352 / 1786 » Modeling Current Events |
176
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
162
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
185
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
161
Voted
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
177
click to vote
BIBE
2003
IEEE
15 years 11 months ago
2003
IEEE
Currently there are little objective parameters that can quantify the success of one form of prostate surgical removal over another. Accordingly, at Old Dominion University (ODU) ...