Sciweavers

2041 search results - page 176 / 409
» Modelling Generic Judgements
Sort
View
ASIACRYPT
2000
Springer
15 years 8 months ago
Security of Signed ElGamal Encryption
Assuming a cryptographically strong cyclic group G of prime order q and a random hash function H, we show that ElGamal encryption with an added Schnorr signature is secure against ...
Claus-Peter Schnorr, Markus Jakobsson
ECOOP
1999
Springer
15 years 8 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker
ENTCS
2006
127views more  ENTCS 2006»
15 years 4 months ago
Tool support for MOLA
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...
Audris Kalnins, Edgars Celms, Agris Sostaks
ICIP
2009
IEEE
15 years 2 months ago
A novel two-tier Bayesian based method for hair segmentation
In this paper, a novel two-tier Bayesian based method is proposed for hair segmentation. In the first tier, we construct a Bayesian model by integrating hair occurrence prior prob...
Dan Wang, Shiguang Shan, Wei Zeng, Hongming Zhang,...
JMLR
2010
173views more  JMLR 2010»
14 years 11 months ago
Elliptical slice sampling
Many probabilistic models introduce strong dependencies between variables using a latent multivariate Gaussian distribution or a Gaussian process. We present a new Markov chain Mo...
Iain Murray, Ryan Prescott Adams, David J. C. MacK...