Sciweavers

465 search results - page 60 / 93
» Optimizing Local Probability Models for Statistical Parsing
Sort
View
GECCO
2008
Springer
144views Optimization» more  GECCO 2008»
15 years 27 days ago
Maintaining diversity through adaptive selection, crossover and mutation
This paper presents an Adaptive Genetic Algorithm (AGA) where selection pressure, crossover and mutation probabilities are adapted according to population diversity statistics. Th...
Brian McGinley, Fearghal Morgan, Colm O'Riordan
ATAL
2003
Springer
15 years 5 months ago
Optimizing information exchange in cooperative multi-agent systems
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
Claudia V. Goldman, Shlomo Zilberstein
MICCAI
2010
Springer
14 years 10 months ago
Nonlinear Embedding towards Articulated Spine Shape Inference Using Higher-Order MRFs
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
Samuel Kadoury, Nikos Paragios
CVPR
2010
IEEE
15 years 2 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
Shubao Liu, David Cooper
TPHOL
2009
IEEE
15 years 6 months ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk