Browse by author
Lookup NU author(s): Dr Tom Binzegger, Professor Malcolm Young
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Constructive Type Theory (CTT) is both a formal logic and a programming language which contains inherent benefits both in terms of formality and program correctness and in the potential for efficient concurrent execution. In contrast, the mammalian visual cortex represents a naturally occurring visual processing system capable of the rapid concurrent evaluation of complex data domains. The efficient exploitation of a merger between these two systems would represent major advantages in such diverse fields as machine reading, automated guidance, navigation and, significantly, biometrically based security identification systems. The current paper explores the possibilities of achieving such a merger and the technological challenges and opportunities it would represent in constructing a practical remote biometric based identification system. © 2007 IEEE.
Author(s): Howells G, McDonald-Maier KD, Binzegger T, Young MP
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: ECSIS Symposium on Bio-inspired, Learning, and Intelligent Systems for Security (BLISS)
Year of Conference: 2007
Pages: 115-118
URL: http://dx.doi.org/10.1109/BLISS.2007.28
DOI: 10.1109/BLISS.2007.28
Library holdings: Search Newcastle University Library for this item
ISBN: 9780769529196
