Ciência da Computação
Resultado: Exibindo 10 de 804 na pagina 32 de 81
Nome
Título
Área
Documento
Unidade
Ano
Aprendizado de regras de substituição para normatização de textos históricos
Planejamento probabilístico usando programação dinâmica assíncrona e fatorada
Rotulação de símbolos matemáticos manuscritos via casamento de expressões
Revisão de crenças em ACTL usando verificação de modelos limitada
Tolerância a falhas no armazenamento distribuído de dados em grades oportunistas
Detecção de ovos de S. mansoni a partir da detecção de seus contornos
Planejamento no cálculo de situações usando a linguagem Golog
Lógicas de raciocínio aproximado e o problema SAT
Um estudo do uso eficiente de programas em placas gráficas
Algoritmos paralelos para fecho convexo
Resultado: Exibindo 10 de 804 na pagina 32 de 81