Preuves de correction partielle des programmes logiques.

Pierre Deransart

Published in: SPLT (1987)

Keyphrases

higher education
corporate training
decision making
image processing
case study
error analysis
error correction
m learning
context aware
expert systems
technology enhanced
lifelong learning
evolutionary algorithm
genetic algorithm
object recognition
cooperative
multiscale
computer vision
learning algorithm