6020 search results - page 166 / 1204 » A New Approach to Model Counting |
105
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
A new approach to robust sampled-data control is introduced. The system is modelled as a continuous-time one, where the control input has a piecewise-continuous delay. Su cient li...
105
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Time-interleaved analog-to-digital converters (TIADC) require mismatch calibration to achieve high signal-to-noise ratios. In this paper, we present a new blind technique for M=...
169
click to vote
CAIP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
132
click to vote
PST
2004
15 years 5 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
146
click to vote
ESANN
2000
15 years 5 months ago
2000
: Support Vector Machines (SVMs) have become an increasingly popular tool for machine learning tasks involving classi cation, regression or novelty detection. They exhibit good gen...