2036 search results - page 140 / 408 » From Sampling to Model Counting |
120
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
110
click to vote
HPCA
2007
IEEE
16 years 1 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
146
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— This paper describes an efficient method for retrieving the 3-dimensional shape associated to novelties in the environment of an autonomous robot, which is equipped wi...
118
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
RTAS
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...