Sciweavers

Share
ICASSP
2011
IEEE
8 years 1 months ago
Including human expertise in speaker recognition systems: report on a pilot evaluation
The 2010 NIST Speaker Recognition Evaluation (SRE10) included a test of Human Assisted Speaker Recognition (HASR) in which systems based in whole or in part on human expertise wer...
Craig S. Greenberg, Alvin F. Martin, George R. Dod...
TASLP
2008
89views more  TASLP 2008»
8 years 10 months ago
A Cascaded Broadcast News Highlighter
Abstract-- This paper presents a fully automatic news skimming system which takes a broadcast news audio stream and provides the user with the segmented, structured and highlighted...
Heidi Christensen, Yoshihiko Gotoh, Steve Renals
CORR
2008
Springer
141views Education» more  CORR 2008»
8 years 10 months ago
Automatic Verification of Correspondences for Security Protocols
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
Bruno Blanchet
CADE
2008
Springer
9 years 6 days ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
DAC
1997
ACM
9 years 1 months ago
CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries
This paper describes a fully automatic standard-cell layout synthesis system, CELLERITY. The system is flexible in supporting a wide variety of process technologies and a range of...
Mohankumar Guruswamy, Robert L. Maziasz, Daniel Du...
FGR
2002
IEEE
159views Biometrics» more  FGR 2002»
9 years 3 months ago
Real-Time, Fully Automatic Upper Facial Feature Tracking
Robust, real-time, fully automatic tracking of facial features is required for many computer vision and graphics applications. In this paper, we describe a fully automatic system ...
Ashish Kapoor, Rosalind W. Picard
IPPS
2006
IEEE
9 years 4 months ago
Recent advances in checkpoint/recovery systems
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
Greg Bronevetsky, Rohit Fernandes, Daniel Marques,...
CBMS
2006
IEEE
9 years 4 months ago
Automatic Classification System for Lumbar Spine X-ray Images
Existing computer-based spinal stenosis diagnosis systems are not fully automatic. Their performance depends on the knowledge and experience of the user. Such a system is typicall...
Soontharee Koompairojn, Kien A. Hua, Chutima Bhadr...
books