2302 search results - page 104 / 461 » Testing as Abstraction |
168
click to vote
IJCNN
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
146
click to vote
ISCAS
2008
IEEE
16 years 26 days ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
155
click to vote
COLT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
163
click to vote
DAGM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
166
click to vote
KI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...