2036 search results - page 169 / 408 » From Sampling to Model Counting |
129
Voted
WSC
2007
15 years 7 months ago
2007
We present the basic concepts of experimental design, the types of goals it can address, and why it is such an important and useful tool for simulation. A well-designed experiment...
173
Voted
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
147
Voted
MST
1998
15 years 4 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...
159
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Overfitting the data is a salient issue for classifier design in small-sample settings. This is why selecting a classifier from a constrained family of classifiers, on...
144
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
We present a method to estimate the in/out function of a closed surface represented by an unorganized set of data points. From the in/out function, we compute an approximation of ...