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
3
Published 2010
Table of Contents: '; ... for Faults Acquiring and Locating on Fiber Optic Cable Line -- A Parallel Distributed Algorithm...
Get full text
Electronic