Sciweavers

20441 search results - page 3706 / 4089
» Locally Computable Structures
Sort
View
GECCO
2010
Springer
129views Optimization» more  GECCO 2010»
15 years 9 months ago
A probabilistic functional crossover operator for genetic programming
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
Josh C. Bongard
KR
2010
Springer
15 years 9 months ago
Decomposing Description Logic Ontologies
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank...
ECCV
2010
Springer
15 years 9 months ago
Blocks World Revisited: Image Understanding using Qualitative Geometry and Mechanics
Since most current scene understanding approaches operate either on the 2D image or using a surface-based representation, they do not allow reasoning about the physical constrain...
Abhinav Gupta, Alexei A. Efros, Martial Hebert
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 9 months ago
Information dissemination in networks via linear iterative strategies over finite fields
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
Shreyas Sundaram, Christoforos N. Hadjicostis
PLDI
2009
ACM
15 years 9 months ago
Progress guarantee for parallel programs via bounded lock-freedom
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaa...
« Prev « First page 3706 / 4089 Last » Next »