Mechanising the theory of intervals using OBJ3.

Marcilia A. Campos Augusto C. A. Sampaio Alexandre H. F. Brainer

Published in: Reliab. Comput. (1996)

Keyphrases

theoretical basis
theoretical framework
genetic algorithm
information theory
formal theory
neural network
image sequences
face recognition
support vector
relational databases
computational model
situation calculus