Sciweavers

762 search results - page 31 / 153
» Conditionally correct superoptimization
Sort
View
INFOCOM
2012
IEEE
12 years 8 months ago
Expected loss bounds for authentication in constrained channels
We derive bounds on the expected loss for authentication protocols in channels which are constrained due to noisy conditions and communication costs. This is motivated by a numbe...
Christos Dimitrakakis, Aikaterini Mitrokotsa, Serg...
DEDS
2000
104views more  DEDS 2000»
13 years 10 months ago
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
Rami Debouk, Stéphane Lafortune, Demostheni...
PAMI
2000
127views more  PAMI 2000»
13 years 10 months ago
Geometric Camera Calibration Using Circular Control Points
Modern CCD cameras are usually capable of a spatial accuracy greater than 1/50 of the pixel size. However, such accuracy is not easily attained due to various error sources that c...
Janne Heikkilä
TASLP
2002
82views more  TASLP 2002»
13 years 9 months ago
Graceful degradation of speech recognition performance over packet-erasure networks
Abstract--This paper explores packet loss recovery for automatic speech recognition (ASR) in spoken dialog systems, assuming an architecture in which a lightweight client communica...
Constantinos Boulis, Mari Ostendorf, Eve A. Riskin...
VRST
2010
ACM
13 years 8 months ago
Evaluating depth perception of photorealistic mixed reality visualizations for occluded objects in outdoor environments
Enabling users to accurately perceive the correct depth of occluded objects is one of the major challenges in user interfaces for Mixed Reality (MR). Therefore, several visualizat...
Arindam Dey, Andrew Cunningham, Christian Sandor