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 483
-
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 ... -
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 ... -
Panalyse, uma ferramenta de baixo impacto para mediçao de utilizaçao de recursos do sistema operacional linux
(2002)Resumo: 0 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 ... -
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 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 ... -
Isomorfismo de grafos aplicado à comparação de impressões digitais /
(2006)Orientador: André Luiz Pires Guedes -
XKeyMatch : um algoritmo semântico para detecção de diferenças entre documentos XML /
(2006)Orientadora: Carmem S.Hara -
Aplicação de formulas não-clausais em planejamento com redes de Petri /
(2006)Orientador : Fabiano Silva -
Planejamento em redes de tarefas hierárquicas com aplicação em jogos /
(2006)Orientador : Marcos Alexandre Castilho -
Otimização de consultas no PostgreSQL utilizando o algoritmo de Kruskal /
(2006)Orientador : Marcos Sfair Sunye -
Definição formal de táticas de xadrez por meio da autoria incremental de conceitos heurísticos /
(2006)Orientador : Alexandre Ibrahim Direne -
Avaliação de desempenho em aglomerados de PCs interligados por Ethernet /
(2006)Orientador : Roberto André Hexsel -
Um sistema de tempo de execução para a linguagem PEWS /
(2006)Orientador : Martin Alejandro Musicante -
Modelo de apoio ao design de ambientes colaborativos para elaboração de conteúdos didáticos /
(2006)Orientadora : Laura Sánchez García -
Analise qualitativa de metodos de planificação de malhas tridimensionais /
(2007)Orientador : Prof. Dr. Luciano Silva -
Ferramentas de apoio ao aprendizado de algoritmos de busca heurística por meio da visualizaçăo das árvores de memória /
(2007)Orientador : Alexandre Ibrahim Direne -
Teste de software baseado em perturbação de dados dirigida por padrões /
(2007)Orientadora : Silvia Regina Vergilio