7121 search results - page 302 / 1425 » Functions as Session-Typed Processes |
196
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
147
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
156
click to vote
CAGD
2007
15 years 6 months ago
2007
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...
167
click to vote
FUIN
2006
15 years 6 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
170
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
The present study considers a fuzzy color system in which triangular pyramid-like membership functions are constructed on the RGB color triangle. This system can process a fuzzy in...