5465 search results - page 199 / 1093 » Assigning Types to Processes |
112
click to vote
FORTE
1997
1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
15 years 4 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 ...
105
click to vote
KDD
1997
ACM
15 years 7 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...
133
Voted
ACL
2006
15 years 4 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...
114
click to vote
CIKM
2010
Springer
15 years 1 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...
109
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...