3239 search results - page 379 / 648 » A Logical Process Calculus |
129
click to vote
FINTAL
2006
15 years 7 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
140
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
142
click to vote
WOODPECKER
2001
15 years 5 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
117
click to vote
COLING
1994
15 years 5 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
108
click to vote
APAL
2007
15 years 4 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...