3379 search results - page 47 / 676 » Combinators for Interaction Nets |
109
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
ICUMT
2009
14 years 9 months ago
2009
Digital distribution is becoming an increasingly important method within the games industry. The leading consoles each possess their own bespoke platform to digitally deploy games ...
OHS
2001
Springer
15 years 4 months ago
2001
Springer
Developing adaptive internet based learning courses usually requires a lot of programming efforts to provide session management, keeping track of the learners current state, and ad...
ACL
2006
15 years 1 months ago
2006
This interactive presentation describes LexNet, a graphical environment for graph-based NLP developed at the University of Michigan. LexNet includes LexRank (for text summarizatio...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...