Sciweavers

3760 search results - page 339 / 752
» Logic-Based Probabilistic Modeling
Sort
View
CEC
2007
IEEE
16 years 20 days ago
Bayesian inference in estimation of distribution algorithms
— Metaheuristics such as Estimation of Distribution Algorithms and the Cross-Entropy method use probabilistic modelling and inference to generate candidate solutions in optimizat...
Marcus Gallagher, Ian Wood, Jonathan M. Keith, Geo...
134
Voted
P2P
2007
IEEE
117views Communications» more  P2P 2007»
16 years 18 days ago
Peer-to-Peer Rating
This paper proposes to utilize algorithms from the probabilistic graphical models domain for Peer-to-Peer rating of data items and for computing “social influence” of nodes i...
Danny Bickson, Dahlia Malkhi, Lidong Zhou
DATE
2006
IEEE
151views Hardware» more  DATE 2006»
16 years 12 days ago
Designing MRF based error correcting circuits for memory elements
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...
ICTAI
2006
IEEE
16 years 11 days ago
Sequence Mining Without Sequences: A New Way for Privacy Preserving
During the last decade, sequential pattern mining has been the core of numerous researches. It is now possible to efficiently discover users’ behavior in various domains such a...
Stéphanie Jacquemont, François Jacqu...
SP
2006
IEEE
147views Security Privacy» more  SP 2006»
16 years 10 days ago
A Computationally Sound Mechanized Prover for Security Protocols
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
Bruno Blanchet