Sciweavers

4332 search results - page 183 / 867
» A Probabilistic Identification Result
Sort
View
MASCOTS
2004
15 years 7 months ago
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rash...
EUSFLAT
2003
130views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
Resource-allocating probabilistic neuro-fuzzy network
In this paper, an architecture of a resourceallocating learning probabilistic neural network is considered. Construction and learning algorithms are proposed. The advantages of th...
Yevgeniy Bodyanskiy, Yevgen Gorshkov, Vitaliy Kolo...
SAC
2006
ACM
16 years 10 days ago
Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
Michael Orshansky, Wei-Shen Wang, Martine Ceberio,...
ECCV
1998
Springer
16 years 8 months ago
A Two-Stage Probabilistic Approach for Object Recognition
Assume that some objects are present in an image but can be seen only partially and are overlapping each other. To recognize the objects, we have to rstly separate the objects from...
Stan Z. Li, Joachim Hornegger
IPMI
2007
Springer
16 years 7 months ago
Probabilistic Clustering and Quantitative Analysis of White Matter Fiber Tracts
A novel framework for joint clustering and point-by-point mapping of white matter fiber pathways is presented. Accurate clustering of the trajectories into fiber bundles requires p...
Mahnaz Maddah, William M. Wells III, Simon K. Warf...