Sciweavers

2664 search results - page 204 / 533
» Theory of processes
Sort
View
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 10 months ago
Equilibrium species counts and migration model tradeoffs for biogeography-based optimization
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
Haiping Ma, Suhong Ni, Man Sun
IBERAMIA
1998
Springer
15 years 10 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
IAT
2009
IEEE
15 years 9 months ago
A Multi Facet Representation of a Fuzzy Ontology Population
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...
BPM
2003
Springer
123views Business» more  BPM 2003»
15 years 9 months ago
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...
ECAI
2000
Springer
15 years 9 months ago
Verification Programs for Abduction
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
Paolo Liberatore, Francesco M. Donini