6709 search results - page 438 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
209
click to vote
ISTCS
1997
Springer
15 years 10 months ago
1997
Springer
Kearns introduced the "statistical query" (SQ) model as a general method for producing learning algorithms which are robust against classification noise. We extend this ...
171
click to vote
CVPR
2004
IEEE
2004
IEEE
Effect of Colorspace Transformation, the Illuminance Component, and Color Modeling on Skin Detection
16 years 8 months ago
Skin detection is an important preliminary process in human motion analysis. It is commonly performed in three steps: transforming the pixel color to a non-RGB colorspace, droppin...
180
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, a wavelet based approach is proposed for the model order reduction of linear circuits in time domain. Compared with Chebyshev reduction method, the wavelet reductio...
162
click to vote
SIGOPSE
2004
ACM
16 years 7 days ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...