Sciweavers

5165 search results - page 465 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
PDSE
1998
105views more  PDSE 1998»
15 years 8 months ago
A Case-Based Parallel Programming System
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
Katsuhiro Yamazaki, Shoichi Ando
NIPS
2000
15 years 8 months ago
Active Learning for Parameter Estimation in Bayesian Networks
Bayesian networks are graphical representations of probability distributions. In virtually all of the work on learning these networks, the assumption is that we are presented with...
Simon Tong, Daphne Koller
AAAI
1996
15 years 8 months ago
Incorporating Opponent Models into Adversary Search
This work presents a generalized theoretical framework that allows incorporation of opponent models into adversary search. We present the M algorithm, a generalization of minimax ...
David Carmel, Shaul Markovitch
NIPS
1996
15 years 8 months ago
Adaptively Growing Hierarchical Mixtures of Experts
We propose a novelapproach to automaticallygrowing and pruning Hierarchical Mixtures of Experts. The constructive algorithm proposed here enables large hierarchies consisting of s...
Jürgen Fritsch, Michael Finke, Alex Waibel
ASIAN
2009
Springer
308views Algorithms» more  ASIAN 2009»
15 years 8 months ago
Automated Security Proof for Symmetric Encryption Modes
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
Martin Gagné, Pascal Lafourcade, Yassine La...