1446 search results - page 98 / 290 » Testing for Concise Representations |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The paper presents a voice conversion framework that can be used in real-time applications. The conversion technique is based on hybrid (deterministic/stochastic) parametric speec...
ICDM
2008
IEEE
14 years 4 months ago
2008
IEEE
We introduce a novel technique to detect anomalies in images. The notion of normalcy is given by a baseline of images, under the assumption that the majority of such images is nor...
ISI
2005
Springer
14 years 3 months ago
2005
Springer
Experiments were conducted to test several hypotheses on methods for improving document classification for the malicious insider threat problem within the Intelligence Community. ...
ESAW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...