2088 search results - page 213 / 418 » The Probabilistic Method |
124
Voted
ASIAN
2007
Springer
15 years 9 months 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...
114
Voted
ICB
2007
Springer
15 years 7 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...
135
Voted
ICASSP
2007
IEEE
15 years 9 months 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...
121
Voted
TVLSI
2008
15 years 3 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...
120
Voted
BMCBI
2008
15 years 3 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...