Sciweavers

3220 search results - page 321 / 644
» Constrained Graph Processes
Sort
View
ADAEUROPE
2007
Springer
16 years 25 days ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 24 days ago
EcoPS: a particle swarm algorithm to model group-foraging
Recent work has introduced a simulation model of ecological processes in terms of a very simple Particle Swarm algorithm. This abstract model produced qualitatively realistic beha...
Cecilia Di Chio, Riccardo Poli, Paolo Di Chio
ICDE
2006
IEEE
122views Database» more  ICDE 2006»
16 years 20 days ago
Pragmatics and Open Problems for Inter-schema Constraint Theory
We consider pragmatic issues in applying constraint-based theories (such as that developed for data exchange) to a variety of problems. We identify disconnects between theoreticia...
Arnon Rosenthal, Leonard J. Seligman
CEC
2005
IEEE
16 years 8 days ago
Linear equality constraints and homomorphous mappings in PSO
We present a homomorphous mapping that converts problems with linear equality constraints into fully unconstrained and lower-dimensional problems for optimization with PSO. This ap...
Christopher K. Monson, Kevin D. Seppi
ICCV
2005
IEEE
16 years 7 days ago
Priors for People Tracking from Small Training Sets
We advocate the use of Scaled Gaussian Process Latent Variable Models (SGPLVM) to learn prior models of 3D human pose for 3D people tracking. The SGPLVM simultaneously optimizes a...
Raquel Urtasun, David J. Fleet, Aaron Hertzmann, P...