Sciweavers

1668 search results - page 294 / 334
» Semantic search
Sort
View
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 1 months ago
Learning recursive programs with cooperative coevolution of genetic code mapping and genotype
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...
Garnett Carl Wilson, Malcolm I. Heywood
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 1 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ECTEL
2006
Springer
15 years 1 months ago
Interoperability for Peer-to-Peer Networks: Opening P2P to the Rest of the World
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...
Ingo Brunkhorst, Daniel Olmedilla
CAISE
2009
Springer
15 years 1 months ago
Ontology-Based Description and Discovery of Business Processes
Just like web services, business processes can be stored in public repositories to be shared and used by third parties, e.g., as building blocks for constructing new business proce...
Khalid Belhajjame, Marco Brambilla
ATAL
2008
Springer
14 years 11 months ago
Simulation of individual spontaneous reactive behavior
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
Alejandra García-Rojas, Mario Gutiér...