4299 search results - page 498 / 860 » Concurrent Test Generation |
144
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present new results from our research into the vulnerability of a speaker verification (SV) system to synthetic speech. We use a HMM-based speech synthesizer, w...
168
click to vote
CCGRID
2010
IEEE
14 years 8 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
143
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
137
click to vote
ICTAI
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
183
Voted
JCB
2002
15 years 4 months ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...