1532 search results - page 139 / 307 » An Algebraic Process Calculus |
123
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
167
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
136
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
132
click to vote
INLG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
136
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...