2444 search results - page 151 / 489 » Feature Construction for Back-Propagation |
172
click to vote
SIGADA
2004
Springer
16 years 10 days 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...
163
Voted
TACAS
2004
Springer
16 years 9 days 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...
170
Voted
ICPR
2000
IEEE
15 years 11 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 ...
193
click to vote
IV
2000
IEEE
15 years 11 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...
169
Voted
SIBGRAPI
1999
IEEE
15 years 11 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...