Un système vérifiant des propriétés opérationnelles de programmes logiques.

Francçois Gobert Baudouin Le Charlier

Published in: Tech. Sci. Informatiques (2008)

Keyphrases

fuzzy model
fuzzy systems
ieee trans
fuzzy classifier
takagi sugeno
technology enhanced
fuzzy controller
chaotic systems
m learning
arc consistency
higher education
lifelong learning
mobile learning
evolutionary algorithm
language learning
evolutionary computation
constraint satisfaction
membership functions