Sciweavers

346 search results - page 51 / 70
» PPM Model Cleaning
Sort
View
ESORICS
2007
Springer
14 years 1 months ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...
DSN
2006
IEEE
14 years 1 months ago
Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
Dong Tang, Peter Carruthers, Zuheir Totari, Michae...
ICRA
2006
IEEE
119views Robotics» more  ICRA 2006»
14 years 1 months ago
SLAM with Sparse Sensing
— Most work on the simultaneous localization and mapping (SLAM) problem assumes the frequent availability of dense information about the environment such as that provided by a la...
Kristopher R. Beevers, Wesley H. Huang
ICMCS
2005
IEEE
139views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Rapid Feature Space Speaker Adaptation for Multi-Stream HMM-Based Audio-Visual Speech Recognition
Multi-stream hidden Markov models (HMMs) have recently been very successful in audio-visual speech recognition, where the audio and visual streams are fused at the final decision...
Jing Huang, Etienne Marcheret, Karthik Visweswaria...
ISMAR
2005
IEEE
14 years 1 months ago
Augmented Foam: A Tangible Augmented Reality for Product Design
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...
Woohun Lee, Jun Park