Sciweavers

5012 search results - page 652 / 1003
» Distributed Error Correction
Sort
View
BIOCOMP
2006
15 years 8 months ago
X-Ray Powder Diffraction Metrics
To compare sample data from x-ray diffraction a suitable metric is developed to evaluate the similarity (or dissimilarity) between samples and to compare it to a references. The m...
George Runger, Kelly Canter, John Twist, David Ros...
SDL
2003
158views Hardware» more  SDL 2003»
15 years 8 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
WSC
1998
15 years 8 months ago
Building Parallel Time-Constrained HLA Federates: A Case Study with the Parsec Parallel Simulation Language
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
CongDuc Pham, Rajive Bagrodia
IJCAI
1993
15 years 8 months ago
Average-Case Analysis of a Nearest Neighbor Algorithm
In this paper we present an average-case analysis of the nearest neighbor algorithm, a simple induction method that has been studied by manyresearchers. Our analysis assumes a con...
Pat Langley, Wayne Iba
BILDMED
2009
124views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Evaluation of the Twofold Gaussian Mixture Model Applied to Clinical Volume Datasets
Abstract. Volume representations of blood vessels acquired by 3D rotational angiography are very suitable for diagnosing a stenosis or an aneurysm. For optimal treatment, physician...
Jan Bruijns