Skip to main content

A functional neural network prototype for multidimensional data analysis

Sirlantzis, Konstantinos and Howells, Gareth and Paschalakis, Stavros (1999) A functional neural network prototype for multidimensional data analysis. In: Seventh International Conference on Image Processing And Its Applications, 1999. IEEE, pp. 98-102. ISBN 0-85296-717-9. (doi:10.1049/cp:19990289) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1049/cp:19990289

Abstract

Artificial neural networks present a powerful tool to analyse complex systems. They have been long used to tackle the difficulties of image analysis and interpretation with applications ranging from character recognition (Howells et al. 1996) to colour image processing (Howells et al. 1997). This paper presents a novel approach which exploits the generality of expressions available in the area of constructive type theory and its potential for the production of guaranteed bug free, provably correct software to develop a working neural network prototype. To illustrate the possible applications of our work we present results from two examples arising from co-operation with the Dover Harbour Board.

Item Type: Book section
DOI/Identification number: 10.1049/cp:19990289
Additional information: Proceedings Paper; Issue: 465
Uncontrolled keywords: functional neural networks prototype; multidimensional data analysis; artificial neural networks; image analysis; constructive type theory; Dover Harbour Board
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.87 Neural computers, neural networks
T Technology > TA Engineering (General). Civil engineering (General) > TA1637 Image Analysis, Image Processing
T Technology > TK Electrical engineering. Electronics Nuclear engineering
Divisions: Faculties > Sciences > School of Engineering and Digital Arts
Depositing User: Konstantinos Sirlantzis
Date Deposited: 25 Mar 2009 21:42 UTC
Last Modified: 09 Aug 2019 10:30 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/16623 (The current URI for this page, for reference purposes)
  • Depositors only (login required):