The VLISP Verified Scheme System.

Joshua D. Guttman John D. Ramsdell Vipin Swarup

Published in: LISP Symb. Comput. (1995)

Keyphrases

database
website
bayesian networks
recognition scheme
databases
neural network
real world
decision making
object recognition
encoding scheme