4126 search results - page 410 / 826 » Set based logic programming |
116
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
147
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
142
click to vote
GPEM
2008
15 years 4 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
160
click to vote
SFM
2005
Springer
15 years 10 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
130
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...