220 search results - page 23 / 44 » Estimating functional coverage in bounded model checking |
110
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...
IJCNN
2007
IEEE
15 years 5 months ago
2007
IEEE
— To obtain accurate modeling results, it is of primal importance to find optimal values for the hyperparameters in the Support Vector Regression (SVR) model. In general, we sea...
ISIPTA
2003
IEEE
15 years 4 months ago
2003
IEEE
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
CLEAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multipl...
69
Voted
JCM
2007
14 years 11 months ago
2007
— This paper deals with the problem of blind carrier-frequency offset (CFO) estimation in OFDM systems based on offset quadrature amplitude modulation (OFDM/OQAM) with null subca...