5409 search results - page 625 / 1082 » Basic Observables for Processes |
182
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...
194
Voted
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...
147
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...
177
click to vote
BILDMED
2009
15 years 8 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...
164
click to vote
CHES
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, a thorough bottom-up optimization process (field, point and scalar arithmetic) is used to speed up the computation of elliptic curve point multiplication and report ...