Login / Signup
Extraction certifiée dans Coq-en-Coq.
Stéphane Glondu
Published in:
Stud. Inform. Univ. (2009)
Keyphrases
</>
formal methods
theorem prover
real time
neural network
three dimensional
data extraction
information retrieval
e learning
decision trees
image segmentation
high level
database systems
reinforcement learning
feature space
expert systems
knowledge extraction