Sciweavers

550 search results - page 87 / 110
» Complementarity of Error Detection Techniques
Sort
View
DSN
2008
IEEE
14 years 2 months ago
Analyzing the effects of disk-pointer corruption
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin ...
MEMOCODE
2008
IEEE
14 years 2 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
CLEAR
2007
Springer
148views Biometrics» more  CLEAR 2007»
14 years 1 months ago
Multi-stage Speaker Diarization for Conference and Lecture Meetings
The LIMSI RT-07S speaker diarization system for the conference and lecture meetings is presented in this paper. This system builds upon the RT06S diarization system designed for le...
Xuan Zhu, Claude Barras, Lori Lamel, Jean-Luc Gauv...
VTC
2006
IEEE
160views Communications» more  VTC 2006»
14 years 1 months ago
Chip-interleaved Multi-rate CDMA with 2-dimensional OVSF Spreading
—Chip interleaving technique has been proposed for DS-CDMA to eliminate the multiple-access interference (MAI). In this paper, we develop this technique to provide the single- or...
Le Liu, Fumiyuki Adachi
IUI
2005
ACM
14 years 1 months ago
Multimodal new vocabulary recognition through speech and handwriting in a whiteboard scheduling application
Our goal is to automatically recognize and enroll new vocabulary in a multimodal interface. To accomplish this our technique aims to leverage the mutually disambiguating aspects o...
Edward C. Kaiser