488 search results - page 25 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Many speaker verification (SV) systems combine multiple classifiers using score-fusion to improve system performance. For SVM classifiers, an alternative strategy is to combine...
ICML
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a directed Markov random field (MRF) model that combines n-gram models, probabilistic context free grammars (PCFGs) and probabilistic latent semantic analysis (PLSA) fo...
176
Voted
ICDT
2009
ACM
15 years 11 months ago
2009
ACM
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
119
click to vote
JUCS
2010
14 years 5 months ago
2010
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...