5284 search results - page 440 / 1057 » Sampling search-engine results |
190
click to vote
ISSTA
2004
ACM
16 years 1 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
184
click to vote
AMAI
2004
Springer
16 years 1 months ago
2004
Springer
Bayesian Model Averaging (BMA) is well known for improving predictive accuracy by averaging inferences over all models in the model space. However, Markov chain Monte Carlo (MCMC)...
266
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
215
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Local features or image patches have become a standard tool in computer vision, with numerous application domains. Roughly speaking, two different types of patchbased image repres...
199
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Detecting pedestrians in images is a key functionality to avoid vehicle-to-pedestrian collisions. The most promising detectors rely on appearance-based pedestrian classifiers tra...