6366 search results - page 728 / 1274 » Statistical Performance Modeling and Optimization |
178
click to vote
TASLP
2002
15 years 7 months ago
2002
Perceptual audio coders use an estimated masked threshold for the determination of the maximum permissible just-inaudible noise level introduced by quantization. This estimate is d...
230
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
203
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
230
click to vote
ICVGIP
2004
15 years 8 months ago
2004
Robust model fitting is important for computer vision tasks due to the occurrence of multiple model instances, and, unknown nature of noise. The linear errors-in-variables (EIV) m...
197
click to vote
ICDCSW
2009
IEEE
16 years 2 months ago
2009
IEEE
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...