2088 search results - page 213 / 418 » The Probabilistic Method |
159
click to vote
ASIAN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
152
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a new approach to biometrics that makes probabilistic inferences about matching without ever estimating an identity "template". The biometric data is...
188
click to vote
ICASSP
2007
IEEE
16 years 26 days ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
159
click to vote
TVLSI
2008
15 years 6 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fa...