Navegação 40001016034P5 Programa de Pós-Graduação em Informática por data do documento
Itens para a visualização no momento 1-20 of 384
-
Interpretação pedagógica de relações lógicas em diálogos para o ensino de conceitos visuais
(1999)Resumo: Este trabalho consiste no projeto e implementação de um módulo pedagógico capaz criticar frases do aprendiz que contenham relações lógicas complexas explicitamente citadas. O módulo é integrado a uma Shell de ... -
Uma proposta de aplicação integrada para a transferência automática de documentos estruturados por meio da web, utilizando serialização de objetos e meta-linguagem XML
(2001)Resumo: A dificuldade de localizar e resgatar conteúdos na WEB, pela falta de padrões na estruturação de informações, pode gerar incompatibilidades na troca de dados entre pessoas e/ou organizações. Este fato motivou este ... -
Uma abordagem distribuída baseada no algoritmo do carteiro chinês para diagnóstico de redes de topologia arbitrária
(2001)Resumo: Neste trabalho é apresentado um novo algoritmo para o diagnóstico distribuído de redes de topologia arbitrária baseado no algoritmo do Carteiro Chinês. Um agente móvel, isto é, um processo que é executado e transmitido ... -
Semântica de ações orientada a objetos
(2002)Resumo: Neste trabalho apresentamos a Semântica de Ações Orientada a Objetos, uma nova forma de tratar alguns dos problemas relacionados ao reuso e extensão de especificações de linguagens de programação em Semântica de ... -
Panalyse, uma ferramenta de baixo impacto para medição de utilização de recursos do sistema operacional linux
(2002)Resumo: O Sistema Operacional (SO) torna disponíveis e controla os recursos de hardware de um sistema computacional para os processos. Os dados de utilização destes recursos são de grande relevância para (i) o desenvolvimento ... -
Análise semântica do objeto nulo em português do Brasil
(2002)Resumo: Este trabalho reúne um conjunto de procedimentos capazes de mapear a representação semântica de discursos escritos em linguagem natural (mais precisamente no Português do Brasil) em um formalismo lógico. O enfoque ... -
Um modelo perceptivo de limiarização de imagens digitais
(2003)Resumo: O problema de segmentação de imagens digitais tem gerado uma grande diversidade de abordagens para solucioná-lo. Uma abordagem bastante simples, a limiarização, ainda tem sido intensivamente utilizada, por viabilizar ... -
Uma ferramenta de apoio ao gerenciamento de desenvolvimento de software distribuído
(2003)Resumo: O desenvolvimento de software cada vez mais complexo, envolvendo a empresa e a Internet, exige um controle rápido e seguro do desenvolvimento de projetos. Com sistemas cada vez mais sofisticados e integrados, ... -
Uma ferramenta de apoio à definição de requisitos da MDSODI no contexto do ambiente DiSEN
(2003)Resumo: A crescente complexidade das aplicações, a contínua evolução tecnológica e o uso cada vez mais disseminado de redes de computadores têm estimulado os estudos referentes ao desenvolvimento de sistemas distribuídos. ... -
Métricas 00 aplicadas a código objeto java
(2003)Resumo: Na busca de melhorias no processo de desenvolvimento de software para a obtenção de um produto de qualidade, várias métricas têm sido propostas, com as quais pode-se gerenciar este processo e detectar falhas de ... -
Algoritmos para teste de perfeição de grafos
(2004)Resumo: Esta dissertação apresenta e discute os dois recentemente descobertos algoritmos de teste de perfeição de grafos. A parte central dos dois algoritmos e a mesma. Este núcleo que os dois algoritmos compartilham, que ... -
Verificação de tipos de XQuery : um protótipo em ASF+SDF
(2004)Resumo: Dados semi-estruturados e em particular XML, têm se destacado como padrão de representação de dados na world-wide web. Os dados semi-estruturados apresentam vantagens para o intercâmbio de dados entre diferentes ... -
Algoritmos exatos para coloração de grafos
(2009)Resumo: Neste documento apresentamos três recentes trabalhos no campo de estudos da coloração de grafos. Os algoritmos dos planos de corte, do Branch and Cut e o algoritmo de Lucet. Todos são algoritmos exatos para a ... -
Uma introdução à complexidade computacional parametrizada
(2013)Resumo: A Complexidade Parametrizada é uma maneira de analisar a complexidade computacional de um problema computacional. Nesta dissertação damos uma Introdução à Complexidade Computacional Parametrizada com atenção aos ... -
Uma abordagem semântica baseada em ontologia para sintonia de parâmetros : um estudo de caso para MapReduce
(2014)Resumo: MapReduce é um framework para processamento de grandes volumes de dados; e Hadoop é a sua implementação de código aberto mais conhecida e utilizada. Hadoop possui mais de uma centena de parâmetros de configuração ... -
Uma proposta de arquitetura de alto desempenho para sistemas PACS baseada em extensões de banco de dados
(2014)Resumo: O uso de imagens digitais no processo de diagnóstico médico é observável em diferentes escalas e cenários de aplicação, tendo evoluído em termos de volume de dados adquiridos e número de modalidades de exame ... -
Gerenciamento de conectividade segura e contínua em redes de acesso heterogêneas
(2014)Resumo: A popularização dos dispositivos computacionais portáteis com suporte à conexão de diferentes tecnologias de comunicação e a proliferação das redes de acesso heterogêneas aumentam as demandas por conexão ubíqua. ... -
Um modelo de proveniência para extração de tendências em séries temporais
(2014)Resumo: Muitas áreas do conhecimento estão relacionadas com a análise de séries temporais, as quais são constituídas por uma sequencia de observações de dados sobre o tempo. A análise de séries temporais difere da análise ... -
Pesquisa-ação na construção de insumos conceituais para um ambiente computacional de apoio ao letramento bilíngue de crianças surdas
(2014)Resumo: O letramento bilíngue, nosso pressuposto para os surdos, consiste em fazer uso da Língua de Sinais (L1) para o aprendizado de uma segunda língua oral na modalidade escrita, no contexto brasileiro, a Língua Portuguesa ... -
Afinidade de tipos de aplicações em nuvens computacionais
(2014)Resumo: O aumento do uso de ambientes virtualizados tem levado à inúmeras pesquisas sobre as possibilidades e restrições de seu uso na computação em nuvem ou para consolidação de recursos. Entretanto, a maioria destes ...