3238 search results - page 258 / 648 » On the Computational Interpretation of Negation |
176
click to vote
TCS
2008
15 years 6 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
168
click to vote
COLING
2002
15 years 6 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
286
click to vote
JCISE
2002
15 years 6 months ago
2002
Virtual Prototyping (VP) technique has been interpreted in many different ways, which causes confusion and misunderstanding among researchers and practitioners. Based on a review ...
162
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
250
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...