Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.
Raquel de Miranda BarbosaAntônio Carlos da Rocha CostaPatrícia Cabral de Azevedo Restelli TedescoAlexandre Cabral MotaPublished in: RITA (2010)
Keyphrases
- constraint satisfaction problems
- text categorization
- constraint satisfaction
- constraint programming
- text classification
- arc consistency
- formal representation
- feature selection
- np hard
- constraint propagation
- formal methods
- constraint problems
- neural network
- tree decomposition
- bayesian classifiers
- formal models
- constraint solving
- decomposition methods
- formal model
- knn
- search space