Sciweavers

6104 search results - page 767 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
IAT
2009
IEEE
15 years 10 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
ASIACRYPT
2006
Springer
15 years 10 months ago
KFC - The Krazy Feistel Cipher
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
Thomas Baignères, Matthieu Finiasz
SIGGRAPH
2010
ACM
15 years 10 months ago
A wave-based anisotropic quadrangulation method
This paper proposes a new method for remeshing a surface into anisotropically sized quads. The basic idea is to construct a special standing wave on the surface to generate the gl...
Muyang Zhang, Jin Huang, Xinguo Liu, Hujun Bao
AMAST
2008
Springer
15 years 9 months ago
Explaining Verification Conditions
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
Ewen Denney, Bernd Fischer 0002
GECCO
2010
Springer
176views Optimization» more  GECCO 2010»
15 years 9 months ago
A hierarchical cooperative evolutionary algorithm
To successfully search multiple coadaptive subcomponents in a solution, we developed a novel cooperative evolutionary algorithm based on a new computational multilevel selection f...
Shelly Xiaonan Wu, Wolfgang Banzhaf