Sciweavers

4688 search results - page 773 / 938
» Dynamics of Control
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
16 years 20 days ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
FSR
2007
Springer
135views Robotics» more  FSR 2007»
16 years 20 days ago
State Space Sampling of Feasible Motions for High Performance Mobile Robot Navigation in Highly Constrained Environments
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
Thomas M. Howard, Colin J. Green, Alonzo Kelly
GECCO
2007
Springer
147views Optimization» more  GECCO 2007»
16 years 20 days ago
Exact analysis of the sampling distribution for the canonical particle swarm optimiser and its convergence during stagnation
Several theoretical analyses of the dynamics of particle swarms have been offered in the literature over the last decade. Virtually all rely on substantial simplifications, incl...
Riccardo Poli, David S. Broomhead
GECCO
2007
Springer
276views Optimization» more  GECCO 2007»
16 years 20 days ago
Meta-optimizing semantic evolutionary search
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
Moshe Looks
GRID
2007
Springer
16 years 20 days ago
A highly available job execution service in computational service market
— One of the major challenges in managing resources of computational Grids with diverse shared resources is how to meet users' QoS requirements and rationally distribute res...
Woochul Kang, H. Howie Huang, Andrew S. Grimshaw