1
Published 1990
Table of Contents: '; ...-calculus -- Implementing a model checking algorithm by adapting existing automated tools -- On-line model...
Get full text
Electronic
2
Published 2005
Table of Contents: '; ... -- Procrustes Analysis and Moore-Penrose Inverse Based Classifiers for Face Recognition -- Two Factor Face...
Get full text
Electronic