Sciweavers

875 search results - page 51 / 175
» A New Approach for Testing Properties of Discrete Distributi...
Sort
View
CVPR
2007
IEEE
16 years 6 months ago
Sensor noise modeling using the Skellam distribution: Application to the color edge detection
In this paper, we introduce the Skellam distribution as a sensor noise model for CCD or CMOS cameras. This is derived from the Poisson distribution of photons that determine the s...
Youngbae Hwang, Jun-Sik Kim, In-So Kweon
ICSM
2006
IEEE
15 years 10 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
GECCO
2010
Springer
152views Optimization» more  GECCO 2010»
15 years 8 months ago
Active covariance matrix adaptation for the (1+1)-CMA-ES
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...
Dirk V. Arnold, Nikolaus Hansen
UAI
2008
15 years 6 months ago
CT-NOR: Representing and Reasoning About Events in Continuous Time
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
Aleksandr Simma, Moisés Goldszmidt, John Ma...
146
Voted
PODC
1999
ACM
15 years 8 months ago
Liveness-Preserving Simulation Relations
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
Paul C. Attie