Sciweavers

564 search results - page 56 / 113
» Animators for Generated Programming Environments
Sort
View
CONCURRENCY
2007
100views more  CONCURRENCY 2007»
13 years 8 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen
EH
1999
IEEE
214views Hardware» more  EH 1999»
14 years 1 months ago
Coevolutionary Robotics
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...
Jordan B. Pollack, Hod Lipson, Pablo Funes, Sevan ...
BIOINFORMATICS
1999
65views more  BIOINFORMATICS 1999»
13 years 8 months ago
Genetic Simulation Library
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...
John S. Conery, Michael Lynch
EUROGP
2007
Springer
135views Optimization» more  EUROGP 2007»
14 years 3 months ago
A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms
The ability of Genetic Programming to scale to problems of increasing difficulty operates on the premise that it is possible to capture regularities that exist in a problem environ...
Erik Hemberg, Conor Gilligan, Michael O'Neill, Ant...
AMFG
2005
IEEE
155views Biometrics» more  AMFG 2005»
14 years 2 months ago
Linear Programming for Matching in Human Body Gesture Recognition
We present a novel human body gesture recognition method using a linear programming based matching scheme. Instead of attempting to segment an object from the background, we develo...
Hao Jiang, Ze-Nian Li, Mark S. Drew