241 search results - page 15 / 49 » Performance Metric Validation in Chaos |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We consider camera self-calibration, i.e. the estimation of parameters for camera sensors, in the setting of a visual sensor network where the sensors are distributed and energy-c...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ISPD
2003
ACM
14 years 20 days ago
2003
ACM
: Recent years have seen significant research in finding closed form expressions for the delay of an RC circuit that improves upon the Elmore delay model. However, several of these...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, we introduce an adaptive Lp–norm metric for robust coherent diversity combining in non–Gaussian noise and interference. We derive a general closed–form exp...
TELSYS
2002
13 years 7 months ago
2002
Abstract. In the micro-cell-based PCS networks, due to the high user mobility, handoffs occur more frequently. Hence, the classical assumptions, such as the exponential assumptions...