Sciweavers

2711 search results - page 194 / 543
» Convergence of the Wake-Sleep Algorithm
Sort
View
WDAG
2009
Springer
146views Algorithms» more  WDAG 2009»
15 years 11 months ago
Dynamics in Network Interaction Games
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
Martin Hoefer, Siddharth Suri
RTA
2009
Springer
15 years 11 months ago
YAPA: A Generic Tool for Computing Intruder Knowledge
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
Mathieu Baudet, Véronique Cortier, St&eacut...
148
Voted
ICDCS
2008
IEEE
15 years 11 months ago
Online Optimization for Latency Assignment in Distributed Real-Time Systems
As distributed real-time applications gain in popularity, a key challenge is to allocate resources so that diverse realtime requirements (including non-real-time applications), di...
Cristian Lumezanu, Sumeer Bhola, Mark Astley
ENC
2005
IEEE
15 years 10 months ago
Saving Evaluations in Differential Evolution for Constrained Optimization
Generally, evolutionary algorithms require a large number of evaluations of the objective function in order to obtain a good solution. This paper presents a simple approach to sav...
Efrén Mezura-Montes, Carlos A. Coello Coell...
ICIP
2005
IEEE
15 years 10 months ago
Automatic registration of 3D datasets using Gaussian fields
—In this paper we introduce a new 3D automatic registration method based on Gaussian fields and energy minimization. The method defines a simple ∞ C energy function, which is c...
Faysal Boughorbel, Andreas Koschan, Mongi A. Abidi