5465 search results - page 199 / 1093 » Assigning Types to Processes |
145
click to vote
FORTE
1997
1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
15 years 7 months ago
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
139
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
An approach to defining actionability as a measure of interestingness of patterns is proposed. This approach is based on the concept of an action hierarchy which is defined as a t...
173
click to vote
ACL
2006
15 years 7 months ago
2006
Morphological disambiguation is the process of assigning one set of morphological features to each individual word in a text. When the word is ambiguous (there are several possibl...
163
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we investigate the task of Entity Ranking on the Web. Searchers looking for entities are arguably better served by presenting a ranked list of entities directly, rat...
142
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...