2440 search results - page 155 / 488 » Explanation-Based Feature Construction |
131
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
137
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we introduce a novel way of modeling distributions with a low latent dimensionality. Our method allows for a strict control of the properties of the mapping between ...
148
click to vote
IV
2000
IEEE
15 years 9 months ago
2000
IEEE
The proliferation of content-based image retrieval techniques has highlighted the need to understand the relationship between image clustering based on low-Ievel imagefeatures and...
125
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
This work describes a framework for dealing with attention and categorization using a robot platform consisting of an articulated stereo-head with four degrees of freedom (pan, til...
144
click to vote
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Meta-Learning has been used to select algorithms based on the features of the problems being tackled. Each training example in this context, i.e. each meta-example, stores the feat...