1518 search results - page 139 / 304 » Cryptographic Test Correction |
116
click to vote
JAL
1998
15 years 3 months ago
1998
We describe a very general technique for generating families of combinatorial objects without isomorphs. It applies to almost any class of objects for which an inductive construct...
142
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
155
Voted
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
131
Voted
ICASSP
2011
IEEE
14 years 7 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...
135
Voted
WAPCV
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...