Sciweavers

1199 search results - page 191 / 240
» Automated Extraction of Problem Structure
Sort
View
GECCO
2003
Springer
120views Optimization» more  GECCO 2003»
14 years 4 months ago
System-Level Synthesis of MEMS via Genetic Programming and Bond Graphs
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
Zhun Fan, Kisung Seo, Jianjun Hu, Ronald C. Rosenb...
ICLP
2003
Springer
14 years 4 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink
GECCO
2010
Springer
129views Optimization» more  GECCO 2010»
14 years 3 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
AGENTS
2000
Springer
14 years 3 months ago
Interactive pedagogical drama
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
Stacy Marsella, W. Lewis Johnson, Catherine LaBore
FASE
2000
Springer
14 years 2 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic