Formalizing generalized maps in Coq.

Christophe Dehlinger Jean-François Dufourd

Published in: Theor. Comput. Sci. (2004)

Keyphrases

real time
wide range
neural network
database systems
reinforcement learning
support vector
expert systems
wireless sensor networks
formal methods