3379 search results - page 473 / 676 » Combinators for Interaction Nets |
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
146
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
165
click to vote
CVIU
2007
15 years 6 months ago
2007
We present a novel approach for visual tracking of structured behaviour as observed in human–computer interaction. An automatically acquired variable-length Markov model is used...
179
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...