A Computational Approach to Pocklington Certificates in Type Theory.

Benjamin Grégoire Laurent Théry Benjamin Werner

Published in: FLOPS (2006)

Keyphrases

theoretical basis
theoretical framework
artificial intelligence
data sets
special case
data mining
machine learning
information retrieval
feature selection
three dimensional
video sequences
multi agent systems
probability distribution
access control