Sciweavers

619 search results - page 69 / 124
» Generic Extensions and Generic Polynomials
Sort
View
CSFW
2010
IEEE
14 years 10 days ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
ECCV
2010
Springer
14 years 4 days ago
Probabilistic Deformable Surface Tracking From Multiple Videos
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...
ACCV
2009
Springer
13 years 11 months ago
Image Classification Using Probability Higher-Order Local Auto-Correlations
Abstract. In this paper, we propose a novel method for generic object recognition by using higher-order local auto-correlations on probability images. The proposed method is an ext...
Tetsu Matsukawa, Takio Kurita
ACISP
2008
Springer
13 years 10 months ago
Efficient One-Round Key Exchange in the Standard Model
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
Colin Boyd, Yvonne Cliff, Juan Manuel Gonzá...
DILS
2008
Springer
13 years 10 months ago
Analyzing the Evolution of Life Science Ontologies and Mappings
Abstract. Ontologies are heavily developed and used in life sciences and undergo continuous changes. However, the evolution of life science ontologies and references to them (e.g.,...
Michael Hartung, Toralf Kirsten, Erhard Rahm