11484 search results - page 444 / 2297 » Modeling in the Large and Modeling in the Small |
226
Voted
FIRBPERF
2005
IEEE
16 years 17 days ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...
219
click to vote
FORMATS
2004
Springer
16 years 10 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
184
click to vote
CN
2007
15 years 7 months ago
2007
We first study the accuracy of two well-known analytical models of the average throughput of long-term TCP flows, namely the so-called SQRT and PFTK models, and show that these ...
192
click to vote
JMLR
2006
15 years 7 months ago
2006
Sparsity or parsimony of statistical models is crucial for their proper interpretations, as in sciences and social sciences. Model selection is a commonly used method to find such...
196
click to vote
AAAI
2010
15 years 8 months ago
2010
Diffusion processes taking place in social networks are used to model a number of phenomena, such as the spread of human or computer viruses, and the adoption of products in `vira...