5799 search results - page 209 / 1160 » Patterns Generate Architectures |
116
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
115
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we explore the use of a Gaussian posteriorgram based representation for unsupervised discovery of speech patterns. Compared with our previous work, the new approach...
102
click to vote
RAS
2006
15 years 2 months ago
2006
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...
128
click to vote
APIN
2000
15 years 2 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
117
click to vote
ETS
2009
IEEE
15 years 7 days ago
2009
IEEE
Structural on-line self-test may be performed to detect permanent faults and avoid their accumulation. This paper improves concurrent BIST techniques based on a deterministic test ...