575 search results - page 12 / 115 » A Calculus for Interaction Nets |
CSCWD
2009
Springer
14 years 3 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
ASIAN
1999
Springer
14 years 1 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
GG
2008
Springer
13 years 9 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
CHI
2002
ACM
14 years 9 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...
IJBRA
2010
13 years 7 months ago
2010
—Accumulating evidence suggests that biological systems exhibit modular organization. Accurate identification of modularity is vital for understanding this organization. A recen...