3379 search results - page 298 / 676 » Combinators for Interaction Nets |
164
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
101
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
156
click to vote
TCS
2002
15 years 6 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
173
click to vote
SIGDIAL
2011
14 years 9 months ago
2011
We present a new approach to dialogue management based on the use of multiple, interconnected policies. Instead of capturing the complexity of the interaction in a single large po...
185
click to vote
DC
2008
15 years 6 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...