2444 search results - page 151 / 489 » Feature Construction for Back-Propagation |
157
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
149
click to vote
TACAS
2004
Springer
15 years 11 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...
160
click to vote
ICPR
2000
IEEE
15 years 10 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 ...
177
click to vote
IV
2000
IEEE
15 years 10 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...
154
click to vote
SIBGRAPI
1999
IEEE
15 years 10 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...