Sciweavers

5435 search results - page 771 / 1087
» Informed Detection Revisited
Sort
View
LPAR
2007
Springer
16 years 27 days ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
3DPVT
2006
IEEE
207views Visualization» more  3DPVT 2006»
16 years 25 days ago
Beyond Silhouettes: Surface Reconstruction Using Multi-Flash Photography
This paper introduces a novel method for surface reconstruction using the depth discontinuity information captured by a multi-flash camera while the object moves along a known tr...
Daniel E. Crispell, Douglas Lanman, Peter G. Sible...
ACSAC
2006
IEEE
16 years 25 days ago
Delegate: A Proxy Based Architecture for Secure Website Access from an Untrusted Machine
Performing sensitive online transactions using computers found in cybercaf´es and public libraries is risky. The untrusted nature of these machines creates a target rich environm...
Ravi Chandra Jammalamadaka, Timothy W. van der Hor...
ICMCS
2006
IEEE
180views Multimedia» more  ICMCS 2006»
16 years 24 days ago
Automatic Speaker Segmentation using Multiple Features and Distance Measures: A Comparison of Three Approaches
This paper addresses the problem of unsupervised speaker change detection. Three systems based on the Bayesian Information Criterion (BIC) are tested. The first system investigat...
Margarita Kotti, Luis P. M. Martins, Emmanouil Ben...
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 24 days ago
A Laserscanner-Vision Fusion System Implemented on the TerraMax Autonomous Vehicle
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
Alberto Broggi, Stefano Cattani, Pier Paolo Porta,...