Sciweavers

2509 search results - page 355 / 502
» Developing Adaptable Components Using Dynamic Languages
Sort
View
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 8 months ago
Mission planning for joint suppression of enemy air defenses using a genetic algorithm
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
Jeffrey P. Ridder, Jason C. HandUber
APLAS
2006
ACM
15 years 9 months ago
A Bytecode Logic for JML and Types
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
Lennart Beringer, Martin Hofmann
EUROGP
2009
Springer
143views Optimization» more  EUROGP 2009»
15 years 1 months ago
A Real-Time Evolutionary Object Recognition System
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
Marc Ebner
142
Voted
DAGM
2005
Springer
15 years 8 months ago
Rapid Online Learning of Objects in a Biologically Motivated Recognition Architecture
We present an approach for the supervised online learning of object representations based on a biologically motivated architecture of visual processing. We use the output of a rece...
Stephan Kirstein, Heiko Wersing, Edgar Körner
133
Voted
CIA
2006
Springer
15 years 7 months ago
Learning to Negotiate Optimally in Non-stationary Environments
Abstract. We adopt the Markov chain framework to model bilateral negotiations among agents in dynamic environments and use Bayesian learning to enable them to learn an optimal stra...
Vidya Narayanan, Nicholas R. Jennings