Sciweavers

3872 search results - page 608 / 775
» The Java memory model
Sort
View
IFIP
2010
Springer
14 years 9 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
141
Voted
JMLR
2010
141views more  JMLR 2010»
14 years 9 months ago
FastInf: An Efficient Approximate Inference Library
The FastInf C++ library is designed to perform memory and time efficient approximate inference in large-scale discrete undirected graphical models. The focus of the library is pro...
Ariel Jaimovich, Ofer Meshi, Ian McGraw, Gal Elida...
TMI
2010
298views more  TMI 2010»
14 years 9 months ago
An Efficient Numerical Method for General Lp Regularization in Fluorescence Molecular Tomography
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...
Jean-Charles Baritaux, Kai Hassler, Michael Unser
TMM
2010
169views Management» more  TMM 2010»
14 years 9 months ago
An Image-Based Approach to Video Copy Detection With Spatio-Temporal Post-Filtering
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
Matthijs Douze, Herve Jegou, Cordelia Schmid
ICASSP
2011
IEEE
14 years 6 months ago
Audio recognition in the wild: Static and dynamic classification on a real-world database of animal vocalizations
We present a study on purely data-based recognition of animal sounds, performing evaluation on a real-world database obtained from the Humboldt-University Animal Sound Archive. As...
Felix Weninger, Björn Schuller