Utilizando Redes Definidas por Software para Prover Justiça em Aplicações Interativas.
Felipe A. F. da SilvaRodrigo S. CoutoMarcelo G. RubinsteinPublished in: SBRC (2018)
Keyphrases
- software development
- software systems
- maximum likelihood
- software design
- software tools
- expectation maximization
- theorem prover
- gaussian mixture model
- source code
- commercial software
- databases
- software package
- mixture model
- em algorithm
- computer systems
- probabilistic model
- image processing
- learning algorithm
- data mining
- markov random field
- image segmentation
- software architecture
- artificial intelligence
- theorem proving
- software maintenance
- information retrieval
- neural network