3379 search results - page 11 / 676 » Combinators for Interaction Nets |
APN
2005
Springer
14 years 3 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
BMCBI
2008
13 years 9 months ago
2008
Background: Cyanobacteria are model organisms for studying photosynthesis, carbon and nitrogen assimilation, evolution of plant plastids, and adaptability to environmental stresse...
COLT
1992
Springer
14 years 1 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
AAAI
2004
13 years 11 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...