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: 7th IEE Conference on Image Processing and its Applications (IPA99), Jul 12-15, 1999, Manchester, England. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

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: Conference or workshop item (Paper)
Additional information: Proceedings Paper; Issue: 465
Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > Q Science (General) > Q335 Artificial intelligence
T Technology > TA Engineering (General). Civil engineering (General) > TA1637 Image Analysis, Image Processing
T Technology > TA Engineering (General). Civil engineering (General)
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.87 Neural computers, neural networks
Divisions: Faculties > Science Technology and Medical Studies > School of Engineering and Digital Arts
Depositing User: F.D. Zabet
Date Deposited: 25 Mar 2009 21:42
Last Modified: 23 May 2014 09:34
Resource URI: http://kar.kent.ac.uk/id/eprint/16623 (The current URI for this page, for reference purposes)
  • Depositors only (login required):