3379 search results - page 103 / 676 » Combinators for Interaction Nets |
134
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Assigning tasks to agents is complex, especially in highly dynamic environments. Typical protocol-based approaches for task assignment such as Contract Net have proven their value...
161
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Classification and variable selection play an important role in knowledge discovery in highdimensional data. Although Support Vector Machine (SVM) algorithms are among...
122
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Picbreeder is an online service that allows users to collaboratively evolve images. Like in other Interactive Evolutionary Computation (IEC) programs, users evolve images in Picbr...
127
click to vote
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Loose coupling is often cited as a defining characteristic of service-oriented architectures. Interactions between services take place via messages in an asynchronous environment ...
125
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...