Buscar
Itens para a visualização no momento 1-6 of 6
Modelagem simbólica de padrões morfológicos para classificação de séries temporais
(2015)
Resumo: O contínuo armazenamento de dados ao longo do tempo, tais como séries temporais, tem motivado o desenvolvimento de novas abordagens baseadas em métodos de mineração de dados. Nesse cenário, uma nova área de pesquisa ...
Sequenciamento adaptativo de exercícios baseado na correspondência entre a dificuldade da solução e o desempenho dinâmico do aprendiz
(2015)
Resumo: A perícia do aprendiz geralmente e desenvolvida através da resolução de exercícios que requerem um conjunto de habilidades avaliadas, tanto no sistema educacional de sala de aula convencional quanto em sistemas de ...
Proposta de um modelo computacional para representação de sinais em uma arquitetura de serviços HCI-SL para línguas de sinais
(2015)
Resumo: A falta de acesso à informação e ao conhecimento científico tem sido um grande obstáculo enfrentado por algumas comunidades minoritárias. Este é o caso das comunidades de Surdos que, historicamente, têm sofrido ...
Parallel gpu algorithms for compressed implicit octrees
(2015)
Resumo: O algoritmo Barnes-Hut é um método aproximado amplamente usado para na simulação gravitacional de N-Corpos, que envolve a construção e eaminliamento de árvores esparsas a cada passo de simulação e assim reduzindo ...
Informática educacional e a mediação do erro na educação : um estudo teórico-crítico e uma proposta de instrumento computacional
(2015)
Resumo: O problema central da mediação do erro na educação escolar e possíveis contribuições da Informática Educativa são expostos de maneira crítica. Embora inúmeras pesquisas e abordagens pedagógicas salientem o importante ...
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)
Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ...