Navegação 40001016034P5 Programa de Pós-Graduação em Informática por tipo "Dissertação"
Itens para a visualização no momento 21-40 of 197
-
Aplicação de formulas não-clausais em planejamento com redes de Petri /
(2006)Orientador : Fabiano Silva -
Aplicação de métodos clássicos de busca local no problema de planejamento do despacho hidrelétrico
(2017)Resumo: O planejamento do despacho hidrelétrico é uma questão que não só afeta o Brasil financeira e ambientalmente, como também é um grande problema computacional ainda não resolvido de forma eficiente. Esse planejamento ... -
Arcabouço para mapeamento do conhecimento do aluno baseado no modelo de redescrição representacional
(2015)Resumo: Este trabalho propõe um arcabouço conceitual para auxiliar o professor no processo de avaliação de estudantes. O objetivo é adaptar a teoria de redescrição representacional (RR) a um ambiente computacional de ... -
ARPREM : Autoria de Regras de Produção para Remediação de Erros com Múltiplas Representações Externas
(2015)Resumo: A utilização de Múltiplas Representações Externas em Sistemas Tutores Inteligentes, com a finalidade de elucidar conceitos do domínio a serem estudados pelo aluno, vem sendo explorada em vários estudos. Além disso, ... -
Arquitetura para sistemas tutores inteligentes que utiliza a teoria qualitativa de processos para recomendação de próximos melhores exercícios
(2015)Resumo: A utilização de sistemas tutores inteligentes para a recomendação de conteúdos e exercícios é um assunto explorado por alguns pesquisadores. Muitos deles usam técnicas da inteligência artificial para fazer essas ... -
Assinalamentos de testes para um algoritmo de diagnóstico em nível de sistema para redes de sensores sem fio
(2011-06-20)Resumo: Este trabalho se propõe a comparar três abordagens de construção de assinalamentos de testes para um algoritmo de diagnóstico em nível de sistema. As abordagens apresentadas visam o problema da detecção de alarmes ... -
Avaliação de algoritmos de escalonamento de disco com qualidade de serviço em ambientes virtualizados
(2014)Resumo: Virtualização e uma técnica utilizada em diversas áreas de conhecimento, cada qual com seu objetivo específico. Porém todas possuem um ponto em comum: definem a virtualização como uma forma de abstrair um ambiente ... -
Avaliação de desempenho em aglomerados de PCs interligados por Ethernet /
(2006)Orientador : Roberto André Hexsel -
Avaliação de mecanismos de caching com discos de estado sólido em estruturas de armazenamento secundário
(2015)Resumo: Recentemente, os discos de estado sólido (SSDs - Solid State Disks) elevaram muito o desempenho no acesso ao armazenamento secundário. Contudo, seu custo e baixa capacidade inviabilizam a substituição integral dos ... -
Avaliação de rugas cutâneas da região periorbital baseada em processamento digital de imagens /
(2007)Orientador: Hélio Pedrini -
Avaliação de sistema baseado em MapReduce para carregamento de modelos
(2013)Resumo: O sucesso do desenvolvimento de software baseado em modelos levou ao estudo e aplicação destas técnicas em situações bastante diversas, como migração de sistemas legados, que antes não eram previstas. Isto exigiu ... -
Avaliação de técnicas para o reconhecimento de pessoas pela forma de andar (Gait Recognition)
(2011-07-04)Resumo: A possibilidade de uso da forma de andar de seres humanos como característica biométrica para a identificação de indivíduos é o foco de estudo deste trabalho. Além de apresentar vantagens em relação a outras ... -
Avaliação do detector de pontos de interesse IGFTT em visual SLAM
(2017)Resumo: Detectores de Ponto de Interesse (POI) são partes fundamentais de um Sistema Visual de Mapeamento e Localização Simultâneos (VSLAM). Pontos de interesse na imagem são usados pela odometria visual para estimar o ... -
Avaliação do impacto da retroação na aprendizagem apoiada por uma ferramenta educacional
(2015)Resumo: Ao utilizar software educacional no âmbito escolar, o benefício que o software possa proporcionar ao aluno está relacionado aos objetivos propostos pelo professor. Portanto, cabe ao professor selecionar conteúdo e ... -
Avatar 3D para síntese automática de sinais da língua de sinais brasileira
(2013-04-23)Resumo: A Libras, Língua de Sinais Brasileira, utilizada por pessoas com deficiência auditiva, tem impulsionado estudos nos mais diversos campos. Na área de tecnologia de informação não e diferente. Para pessoas com esta ... -
Biclique aresta-coloração por listas
(2017)Resumo: Na coloração de grafos existem algumas versões dos problemas de coloração de vértices e de coloração de arestas. Eles podem ser definidos a partir de conceitos como coloração por listas (colorir os elementos do ... -
Busca e ranqueamento de recursos educacionais com suporte de agrupamento de tags
(2017)Resumo: A busca e recuperação de recursos educacionais em repositórios digitais tem sido uma tarefa árdua, principalmente devido às implementações dos algoritmos de busca baseados em busca sintática. Apesar dos sistemas ... -
Caracterizações de buscas em hipermultigrafos
(2010-10-27)Resumo: Buscas em grafos é uma das ferramentas mais simples e mais utilizadas para algoritmos em grafos. Um algoritmo de busca examina os vértices e as arestas de um grafo a partir de um vértice inicial e, sistematicamente ... -
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 ...