Sciweavers

2021 search results - page 282 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
CANDC
2007
ACM
15 years 10 months ago
Constrain yourselves: exploring end user development in support for musical creativity
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...
Tim Coughlan, Peter Johnson
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 9 months ago
Indirect co-evolution for understanding belief in an incomplete information dynamic game
This study aims to design a new co-evolution algorithm, Mixture Co-evolution which enables modeling of integration and composition of direct co-evolution and indirect coevolution....
Nanlin Jin
TACS
1991
Springer
15 years 9 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
BPM
2008
Springer
112views Business» more  BPM 2008»
15 years 8 months ago
Covering Places and Transitions in Open Nets
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...
Christian Stahl, Karsten Wolf
CSL
2008
Springer
15 years 8 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent