Usando Aspectos e Composição Dinâmica para prover Adaptação Ciente ao Contexto em Sistemas Ubíquos.
Isanio L. Araujo SantosFlávia Coimbra DelicatoPaulo F. PiresThaís BatistaAna Liz Souto OliveiraLuci PirmezPublished in: SBES (2008)
Keyphrases
- expectation maximization
- heuristic search
- em algorithm
- theorem proving
- theorem prover
- evaluation function
- unsupervised learning
- generative model
- expectation maximisation
- search algorithm
- mixture model
- multi agent
- gaussian mixture model
- k means
- multiscale
- website
- artificial intelligence
- alpha beta
- automated theorem proving
- databases