Implementing Modules in the Coq System.

Jacek Chrzaszcz

Published in: TPHOLs (2003)

Keyphrases

image processing
database
real time
real world
artificial intelligence
modular structure
data sets
machine learning
computer vision
decision making
knowledge base
face recognition
cooperative
control system
building blocks
modular architecture