4485 search results - page 550 / 897 » Equivalences on Observable Processes |
172
click to vote
ACL
1994
15 years 8 months ago
1994
An automatic compound retrieval method is proposed to extract compounds within a text message. It uses n-gram mutual information, relative frequency count and parts of speech as t...
181
click to vote
FORTE
1996
15 years 8 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
192
click to vote
AAAI
1990
15 years 8 months ago
1990
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
146
click to vote
COLING
1992
15 years 8 months ago
1992
Within the industrial context of the information society, technical translation represents a considerable commercial stake. In the light of this, machine translation is considered...
175
click to vote
BILDMED
2009
15 years 7 months ago
2009
Segmentation in ultrasound data is a very challenging field of research in medical image processing. This article presents a method for automatic segmentation of biopsy needles and...