Sciweavers

936 search results - page 45 / 188
» Statistical analysis of simulation output
Sort
View
IANDC
2006
117views more  IANDC 2006»
14 years 10 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
JMIV
2010
85views more  JMIV 2010»
14 years 8 months ago
Statistical Tests of Anisotropy for Fractional Brownian Textures. Application to Full-field Digital Mammography
In this paper, we propose a new and generic methodology for the analysis of texture anisotropy. The methodology is based on the stochastic modeling of textures by anisotropic fract...
Frédéric J. P. Richard, Hermine Bier...
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 3 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
INFOCOM
2008
IEEE
15 years 4 months ago
Towards Statistically Strong Source Anonymity for Sensor Networks
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...
Min Shao, Yi Yang, Sencun Zhu, Guohong Cao
ISBI
2008
IEEE
15 years 10 months ago
Statistical colocalization in biological imaging with false discovery control
In this paper, we present a novel object-based statistical colocalization method. Our colocalization relies on multiple hypothesis tests on the distances between all pairs of the ...
Bo Zhang, Nicolas Chenouard, Jean-Christophe Olivo...