Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes.
Hyggo O. AlmeidaElthon A. S. OliveiraNadia BarbosaFrederico BublitzLeandro Dias da SilvaAngelo PerkusichPublished in: SBSI (2005)
Keyphrases
- expectation maximization
- em algorithm
- neural network
- social networks
- probabilistic model
- formal model
- maximum likelihood
- generative model
- formal specification
- gaussian mixture model
- formal language
- formal models
- formal methods
- gaussian mixture
- unsupervised learning
- knowledge representation
- relational databases
- feature space
- database systems
- three dimensional
- search engine