MAVIS: A Secure Formal Computational Paradigm based on the Mammalian Visual System

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.

[1]  Peter J. B. Hancock,et al.  An application of caricature: How to improve the recognition of facial composites , 2007 .

[2]  V. Bruce,et al.  Face processing: Human perception and principal components analysis , 1996, Memory & cognition.

[3]  Charlie D. Frowd,et al.  EvoFIT: A holistic, evolutionary facial imaging technique for creating composites , 2004, TAP.

[4]  J. W. Shepherd,et al.  An Interactive Computer System for Retrieving Faces , 1986 .

[5]  R Blickhan,et al.  Standard cell-based implementation of a digital optoelectronic neural-network hardware. , 2001, Applied optics.

[6]  P. Jonathon Phillips,et al.  Face recognition vendor test 2002 , 2003, 2003 IEEE International SOI Conference. Proceedings (Cat. No.03CH37443).

[7]  M. Young,et al.  The architecture of visual cortex and inferential processes in vision. , 2000, Spatial vision.

[8]  Simon Thompson,et al.  Type theory and functional programming , 1991, International computer science series.

[9]  Charlie D. Frowd,et al.  A forensically valid comparison of facial composite systems , 2005 .

[10]  P. Hancock,et al.  Robust representations for face recognition: The power of averages , 2005, Cognitive Psychology.

[11]  Charlie D. Frowd,et al.  Contemporary composite techniques: The impact of a forensically-relevant target delay. , 2005 .

[12]  S. Velastín,et al.  Fusion of Multiple Features for Identity Estimation , 2006 .

[13]  V. Bruce,et al.  Parallel approaches to composite production: interfaces that behave contrary to expectation , 2007, Ergonomics.

[14]  Lawrence Sirovich,et al.  Application of the Karhunen-Loeve Procedure for the Characterization of Human Faces , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[15]  R. Douglas,et al.  A Quantitative Map of the Circuit of Cat Primary Visual Cortex , 2004, The Journal of Neuroscience.

[16]  Henry Kennedy,et al.  Eccentricity has a major influence on cortico-cortical connectivity of areas V1, V2 and V4 in the macaque , 2003 .

[17]  J. Elder,et al.  Towards Face Recognition at a Distance , 2006 .

[18]  Fuad Rahman,et al.  A multiexpert framework for character recognition: a novel application of Clifford networks , 2001, IEEE Trans. Neural Networks.

[19]  Charlie D. Frowd,et al.  Adding holistic dimensions to a facial composite system , 2006, 7th International Conference on Automatic Face and Gesture Recognition (FGR06).

[20]  J. Tanaka,et al.  Features and their configuration in face recognition , 1997, Memory & cognition.

[21]  P J Hancock,et al.  Evolving faces from principal components , 2000, Behavior research methods, instruments, & computers : a journal of the Psychonomic Society, Inc.

[22]  V. Bruce,et al.  Recognition of unfamiliar faces , 2000, Trends in Cognitive Sciences.

[23]  William Bialek,et al.  Spikes: Exploring the Neural Code , 1996 .

[24]  Ronald P. Fisher,et al.  Enhancement of Eyewitness Memory with the Cognitive Interview , 1986 .

[25]  Vicki Bruce,et al.  The relative importance of external and internal features of facial composites. , 2007, British journal of psychology.

[26]  G Davies,et al.  Facial composite production: a comparison of mechanical and computer-driven systems. , 2000, The Journal of applied psychology.

[27]  Alice J. O'Toole,et al.  Low-dimensional representation of faces in higher dimensions of the face space , 1993 .

[28]  Charlie D. Frowd,et al.  Improving Target Identification Using Pairs of Composite Faces Constructed by the Same Person , 2006 .

[29]  L Sirovich,et al.  Low-dimensional procedure for the characterization of human faces. , 1987, Journal of the Optical Society of America. A, Optics and image science.

[30]  Christopher J. Solomon,et al.  Synthesis of Photographic Quality Facial Composites using Evolutionary Algorithms , 2003, BMVC.

[31]  H. Ellis,et al.  Identification of Familiar and Unfamiliar Faces from Internal and External Features: Some Implications for Theories of Face Recognition , 1979, Perception.