Sciweavers

462 search results - page 2 / 93
» Verifying Properties of Neural Networks
Sort
View
ICANN
2010
Springer
15 years 15 days ago
Computational Properties of Probabilistic Neural Networks
We discuss the problem of overfitting of probabilistic neural networks in the framework of statistical pattern recognition. The probabilistic approach to neural networks provides a...
Jiri Grim, Jan Hora
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 15 days ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
JUCS
2008
181views more  JUCS 2008»
15 years 8 days ago
An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function on Configurable Logic Devices
: This paper describes the development of an Intellectual Property (IP) core in VHDL able to implement a Multilayer Perceptron (MLP) artificial neural network (ANN) topology with u...
Alfredo Rosado Muñoz, Luis Gómez-Cho...
NCA
2008
IEEE
15 years 8 days ago
The application of ridge polynomial neural network to multi-step ahead financial time series prediction
Motivated by the slow learning properties of multilayer perceptrons (MLPs) which utilize computationally intensive training algorithms, such as the backpropagation learning algorit...
Rozaida Ghazali, Abir Jaafar Hussain, Panos Liatsi...
75
Voted
SBRN
2008
IEEE
15 years 6 months ago
Combining Distances through an Auto-Encoder Network to Verify Signatures
In this paper we present a system for off-line signature verification. The paper’s contributions are: i) Five distances were calculated and evaluated over the signature databas...
Milena R. P. Souza, Leandro R. Almeida, George D. ...