Sciweavers

ARSCOM
1998
104views more  ARSCOM 1998»
13 years 11 months ago
A Note on the Road-Coloring Conjecture
Some results relating to the road-coloring conjecture of Alder, Goodwyn, and Weiss, which give rise to an O(n2) algorithm to determine whether or not a given edge-coloring of a gra...
E. Gocka, Walter W. Kirchherr, Edward F. Schmeiche...
CPC
2004
87views more  CPC 2004»
13 years 11 months ago
Quicksort with Unreliable Comparisons: A Probabilistic Analysis
We provide a probabilistic analysis of the output of Quicksort when comparisons can err.
Laurent Alonso, Philippe Chassaing, Florent Gillet...
JAR
2008
88views more  JAR 2008»
13 years 11 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
ASM
2010
ASM
14 years 4 months ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar