346 search results - page 4 / 70 » Interaction Nets |
CHI
2002
ACM
15 years 10 months ago
2002
ACM
We describe Social Net, a novel interest-matching application that uses patterns of collocation, over time, to infer shared interests between users. Social Net demonstrates new po...
APN
2006
Springer
15 years 1 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
111
click to vote
COMPASS
1994
15 years 1 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
106
click to vote
IJBRA
2010
14 years 8 months ago
2010
—Accumulating evidence suggests that biological systems exhibit modular organization. Accurate identification of modularity is vital for understanding this organization. A recen...
118
click to vote
TLCA
2005
Springer
15 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...