1716 search results - page 223 / 344 » Proving Conditional Termination |
148
click to vote
IJIT
2004
15 years 5 months ago
2004
Minimization methods for training feed-forward networks with Backpropagation are compared. Feedforward network training is a special case of functional minimization, where no expli...
150
click to vote
IJIT
2004
15 years 5 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
130
click to vote
ESANN
2003
15 years 5 months ago
2003
: -RetinotopicNET is an efficient simulator for neural networks with retinotopic-like receptive fields. The system has two main characteristics: it is event-driven and it takes adv...
131
click to vote
NCI
2004
15 years 5 months ago
2004
This paper presents a new independency metric for blind source separation (BSS) problem. It is mathematically proved that the metric value of any linear combination of source sign...
139
click to vote
UAI
2003
15 years 5 months ago
2003
This paper proposes and evaluates the k-greedy equivalence search algorithm (KES) for learning Bayesian networks (BNs) from complete data. The main characteristic of KES is that i...