Buscar
Itens para a visualização no momento 81-90 of 281
Teste de ontologias OWL : uma contribuição utilizando o teste de mutação
(2019)
Resumo: Ontologias sao compostas por restricoes e axiomas que possibilitam descrever formalmente os conceitos, relacionamentos e propriedades de um dominio. A descricao de um conceito pode ter diferentes significados e ...
Classificação automática de erros de aprendizes humanos do processo de indução analítica
(2011-12-09)
Resumo: O problema da classificação automática de erros humanos no processo de indução analítica é exposto de maneira crítica em relação ao contexto da aprendizagem formal da matemática. As principais limitações de outras ...
Cobertura por vértices mínima em grafos lei de Potência
(2016)
Resumo: A teoria dos grafos é um ramo da matemática utilizada para modelar e representar um conjunto de elementos e suas relações, além de ser muito utilizada na resolução de problemas computacionais. Um grafo pode representar ...
Fiscalização da neutralidade da rede e seu impacto na evolução da internet
(2017)
Resumo: Desde 2002 temos presenciado um longo e controverso debate mundial sobre a Neutralidade da Rede, tema que envolve aspectos políticos, legais, econômicos, sociais, éticos, técnicos e de competitividade e inovação. ...
Using NLP to generate user stories from software specification in natural language
(2018)
Resumo: O processo de elicitar as Histórias de Usuário requeridas para o desenvolvimento de software exige tempo e dedicação, e pode apresentar muito retrabalho se as conversas com partes interessadas não fornecerem ...
Armazenamento otimizado de dados RDF em um SGBD relacional
(2017)
Resumo: A Web Semântica tem por objetivo tornar compreensíveis as informações disponíveis na Internet para as máquinas. O RDF é o modelo de dados padrão para a Web Semântica. Bases RDF são compostas por triplas (sujeito, ...
Core-SL-SW-generator : gerador automático da escrita da libras a partir de um modelo de especificação formal dos sinais
(2018)
Resumo: Os seres humanos são capazes de interagir com outras pessoas, acessar o conhecimento e desenvolver seu intelecto por meio da sua língua preferencial. Sendo assim, as pessoas que não utilizam essa forma de comunicação ...
Diagnóstico em nível de sistema para redes de sensores sem fio : uma heurística
(2015)
Resumo: Diagnóstico em nível de sistema e uma sub-área de tolerância a falhas. O objetivo de um algoritmo de diagnostico em nível de sistema e reportar, para todas as unidades sem-falha de um sistema distribuído, o estado ...
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 ...
Programação matemática e imersões métricas para aproximações em problemas de corte
(2014)
Resumo: Os algoritmos de aproximação são capazes de gerar soluções próximas da ótima demandando tempo de execução polinomial. Vários dos algoritmos de aproximação existentes na literatura solucionam problemas com base em ...