15073 search results - page 335 / 3015 » Probabilistic algorithms for computing resultants |
132
click to vote
WDAG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
140
click to vote
PAAPP
2006
15 years 4 months ago
2006
Abstract: In this paper, we present a new, easy to implement algorithm for detecting the termination of a parallel asynchronous computation on distributedmemory MIMD computers. We ...
139
click to vote
CAV
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
141
click to vote
BILDMED
2008
15 years 6 months ago
2008
We propose a method, which treats metal artifact reduction in CT by sinogram restoration as a problem of scattered data interpolation. Corrupted sinogram entries are discarded and ...
145
click to vote
CN
2000
15 years 4 months ago
2000
The textual content of the Web enriched with the hyperlink structure surrounding it can be a useful source of information for querying and searching. This paper presents a search ...