Sciweavers

15073 search results - page 181 / 3015
» Probabilistic algorithms for computing resultants
Sort
View
FORMATS
2006
Springer
15 years 7 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
IPPS
1996
IEEE
15 years 8 months ago
Practical Algorithms for Selection on Coarse-Grained Parallel Computers
In this paper, we consider the problem of selection on coarse-grained distributed memory parallel computers. We discuss several deterministic and randomized algorithms for paralle...
Ibraheem Al-Furaih, Srinivas Aluru, Sanjay Goil, S...
3DPVT
2006
IEEE
185views Visualization» more  3DPVT 2006»
15 years 10 months ago
A Probabilistic Method for Aligning and Merging Range Images with Anisotropic Error Distribution
This paper describes a probabilistic method of aligning and merging range images. We formulate these issues as problems of estimating the maximum likelihood. By examining the erro...
Ryusuke Sagawa, Nanaho Osawa, Yasushi Yagi
ICDCS
2009
IEEE
16 years 29 days ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han
ANTSW
2010
Springer
15 years 1 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher