Sciweavers

1215 search results - page 59 / 243
» A theory of Error-Rate Testing
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
A sampling-based environment population projection approach for rapid acoustic model adaptation
We propose an environment population projection (EPP) approach for rapid acoustic model adaptation to reduce environment mismatches with limited amounts of adaptation data. This a...
Yu Tsao, Shigeki Matsuda, Shinsuke Sakai, Ryosuke ...
PKC
1999
Springer
83views Cryptology» more  PKC 1999»
14 years 2 months ago
On the Security of Random Sources
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
Jean-Sébastien Coron
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
14 years 4 months ago
Reexamining Media Capacity Theories Using Workplace Instant Messaging
This study empirically examines the general propositions of media capacity theories using a newer and increasing popular communication medium: Instant Messaging. We developed hypo...
Yu-Ting Caisy Hung, Wei-Chang Kong, Ai-Ling Chua, ...
CAV
2007
Springer
212views Hardware» more  CAV 2007»
14 years 2 months ago
A Tutorial on Satisfiability Modulo Theories
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
Leonardo Mendonça de Moura, Bruno Dutertre,...
FUIN
2008
89views more  FUIN 2008»
13 years 10 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro