Sciweavers

1093 search results - page 66 / 219
» Crossover in Probability Spaces
Sort
View
SIGSOFT
2007
ACM
16 years 1 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
94
Voted
ALT
2008
Springer
15 years 9 months ago
Nonparametric Independence Tests: Space Partitioning and Kernel Approaches
Abstract. Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-...
Arthur Gretton, László Györfi
99
Voted
WSC
2001
15 years 1 months ago
Dimensionality analysis of a simulation outcome space
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...
John B. Gilmer Jr., Frederick J. Sullivan
104
Voted
JBCB
2010
123views more  JBCB 2010»
14 years 11 months ago
Characterizing the Space of interatomic Distance Distribution Functions Consistent with Solution Scattering Data
: Scattering of neutrons and x-rays from molecules in solution offers alternative approaches to the studying of a wide range of macromolecular structures in their solution state w...
Paritosh A. Kavathekar, Bruce A. Craig, Alan M. Fr...
181
Voted
CVPR
2009
IEEE
1930views Computer Vision» more  CVPR 2009»
16 years 7 months ago
Mutual Information-based Stereo Matching Combined with SIFT Descriptor in Log-chromaticity Color Space
Radiometric variations between input images can seriously degrade the performance of stereo matching algorithms. In this situation, mutual information is a very popular and powe...
Yong Seok Heo (Seoul National University), Kyoung ...