Sciweavers

2610 search results - page 288 / 522
» Computational Probabilistic Non-interference
Sort
View
125
Voted
AFRICACRYPT
2008
Springer
15 years 6 months ago
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...
Fabien Coelho
AI
2005
Springer
15 years 6 months ago
Incorporating Evidence in Bayesian Networks with the Select Operator
Abstract. In this paper, we propose that the select operator in relational databases be adopted for incorporating evidence in Bayesian networks. This approach does not involve the ...
Cory J. Butz, F. Fang
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Yield driven gate sizing for coupling-noise reduction under uncertainty
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
Debjit Sinha, Hai Zhou
136
Voted
ESANN
2006
15 years 5 months ago
Stochastic Processes for Canonical Correlation Analysis
We consider two stochastic process methods for performing canonical correlation analysis (CCA). The first uses a Gaussian Process formulation of regression in which we use the cur...
Colin Fyfe, Gayle Leen
NIPS
2003
15 years 5 months ago
Minimising Contrastive Divergence in Noisy, Mixed-mode VLSI Neurons
This paper presents VLSI circuits with continuous-valued probabilistic behaviour realized by injecting noise into each computing unit(neuron). Interconnecting the noisy neurons fo...
Hsin Chen, Patrice Fleury, Alan F. Murray