Um Arcabouço para Desenvolvimento de Algoritmos da Análise Formal de Conceitos.

Sérgio Mariano Dias Newton José Vieria

Published in: RITA (2011)

Keyphrases

genetic algorithm
formal specification
special case
formal model
machine learning
information retrieval
multimedia
web services
decision trees
high level
multiscale
search algorithm
formal analysis
mathematical theory
formal language
cmos technology