2042 search results - page 145 / 409 » Variable Number of |
116
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a novel training method of an eigenvoice Gaussian mixture model (EV-GMM) effectively using non-parallel data sets for many-to-many eigenvoice conversion, which...
155
click to vote
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
15 years 9 months ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...
127
click to vote
CATS
2008
15 years 6 months ago
2008
We study the consistency problem for extended global cardinality (EGC) constraints. An EGC constraint consists of a set X of variables, a set D of values, a domain D(x) D for eac...
123
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
143
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...