819 search results - page 112 / 164 » Using Assumptions to Distribute CTL Model Checking |
98
Voted
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Mo...
101
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
107
click to vote
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
Generative model learning is one of the key problems in machine learning and computer vision. Currently the use of generative models is limited due to the difficulty in effective...
116
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
Conditional random fields (CRFs) are graphical models for modeling the probability of labels given the observations. They have traditionally been trained with using a set of obser...
107
click to vote
JMLR
2006
15 years 17 days ago
2006
In this paper we consider a novel Bayesian interpretation of Fisher's discriminant analysis. We relate Rayleigh's coefficient to a noise model that minimises a cost base...