Sciweavers

4540 search results - page 149 / 908
» Evolving the
Sort
View
AAAI
2007
14 years 20 days ago
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
Subbarao Kambhampati
BIRTHDAY
2005
Springer
14 years 9 days ago
Modelling Evolvable Systems: A Temporal Logic View
Howard Barringer, David E. Rydeheard
AHS
2007
IEEE
208views Hardware» more  AHS 2007»
14 years 4 days ago
Evolving Redundant Structures for Reliable Circuits - Lessons Learned
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
Asbjørn Djupdal, Pauline C. Haddow
CONCUR
2008
Springer
14 years 3 days ago
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara...
EUROGP
2008
Springer
14 years 3 days ago
Evolving Proactive Aggregation Protocols
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
Thomas Weise, Michael Zapf, Kurt Geihs