cour_9c3379d9-7beb-4eaa-884d-704657889b58
- Visão geral
- Publicações
- Ver todos
Visão geral
Publicações
publicações
- ---------- Documento
- A formação e a prática do profissional de programação incluindo a discussão de estratégias para a aprendizagem continuada. Documento
- A modelagem do aprendiz em ambientes de aprendizagem por computador baseados em atividades de resolução de problemas. Documento
- A3TV: Uma Ferramenta para Produção e Distribuição de Canais de Televisão do Contexto da TV 2.0 Documento
- A4: um ambiente de apoio à aquisição automática de conhecimento. Documento
- API-GP - Uma Abordagem para Gerência de Produção Documento
- ATMLib - Uma Biblioteca de Classes para o Desenvolvimento de Simuladores de Redes ATM: Proposta e Implementação Documento
- Adaptação de modelos em redes de petri coloridas. Documento
- Ambiente Computacional para Gerência Estratégica - Data Warehousing: Uma Survey. Documento
- Análise Numérica e Transformação de Laplace Documento
- Aprend: um sistema de aquisição automática de conhecimento a partir de exemplos. Documento
- Aquisição de Conhecimento e Manutenção para uma Sociedade de Agentes Tutores Artificiais Documento
- Avaliando Tecnologias da Informação Emergentes nas Empresas Documento
- Avaliação Qualitativa de Interfaces Bancárias, com Proposta de Diretrizes deProjeto Documento
- Avaliação de Desempenho em Redes Locais Brasileiras Documento
- B2FM: um Protocolo de Bloqueio em Duas Fases para Transações Multiníveis Documento
- BART - UMA BIBLIOTECA ORIENTADA A OBJETOS DE APOIO À RECUPERAÇÃO TEXTUAL Documento
- Backforneb - Uma Ferramenta Para Construcao de Sistemas Especialistas Diagnosticadores Documento
- Biblioteca Educacional de Otimização Não-Linear sem Restrições Documento
- COMPREENSIBILIDADE DE TEXTOS CONTÍNUOS EM INTERFACES GRÁFICAS. Documento
- Classificação e Verificação Multibiométrica por Geometria da Mão e Impressão Palmar com Otimização por Algoritmos Genéticos Documento
- Colaboração em Sistemas de Realidade Virtual voltados ao Treinamento Médico: um Módulo para o Framework CyberMed Documento
- DESCONT-THM: Um Sistema para o Desenvolvimento de Esquemas Conceituais de Dados em THM (Temporal Hierarchical Data Model) em Frames Documento
- Da Representação do Conhecimento ao Esboço Conceitual de uma Sociedade de Agentes em Harmonia Documento
- Detectando ambiguidade em consultas conceituais. Documento
- Escalonador inteligente de tarefas para aplicações robóticas. Documento
- Especificação de Componentes para a Simulação de Redes TCP/IP Documento
- Especificação de um Protocolo para Recuperação Eficiente de Informações em Caixas Postais Eletrônicas Documento
- Especificação formal de sistemas de telefonia em estelle: um estudo de caso. Documento
- Especificação formal de um sistema de apoio à descoberta. Documento
- Estudo de Viabilidade numa estação de Transferência Documento
- Ferramenta para Avaliação de Interfaces em Ambiente Windows, a partir da monitoração de dados- FAIWIN Documento
- Fidus: uma ferramenta para busca de informações personalizadas na web. Documento
- Identificação de Vértices em Imagens Multi-Vista de Forma 3D Documento
- LPM e LCM - Linguagens para Programação e Configuração de Módulos em Sistemas de Tempo Real Documento
- Melhores práticas para a gerência de redes de computadores. Documento
- Métodos para construção de rotas eulerianas em grafos mistos com aplicação na distribuição de bens e serviços. Documento
- Planejamento da qualidade no suporte técnico. Documento
- Ponto flutuante: análise de erros, processadores e proposição de uma linguagem para estudo de casos. Documento
- Problemas de Filas - Aplicação da Simulação de Monte Carlo Documento
- Processamento confiável no ambiente operacional Seljuk-Amoeba. Documento
- Projeto EaD: Uma Ferramenta para Auxiliar a Especificação de Cursos a Distância Documento
- Projeto de um cross-fortran para microprocessadores. Documento
- Projeto e Implantação de Esquemas Externos baseados no Modelo de Entidades e Relacionamentos Documento
- Provendo serviços para tolerância a faltas em sistemas distribuídos. Documento
- RECONHECIMENTO DE CARACTERES MANUSCRITOS UTILIZANDO REGRAS DE ASSOCIAÇÃO. Documento
- Riumor: uma rede social multiplataforma para a TV Digital Interativa Documento
- Rítmusrob - Acionador Percursivo Inteligente Documento
- S3O - Um Método de Busca de Similaridades em Objetos Estruturados Documento
- SAT-5: UM SISTEMA DE INFORMAÇÕES EM SOLO PARA OS EXPERIMENTOS DE CARGA ÚTIL A BORDO DO SATÉLITE DE APLICAÇÃO CIENTÍFICA - SACI-1 Documento
- SAVAD - Sistema de avaliação de desempenho de modelos de redes de filas Documento
- SIMILE: um simulador reutilizável para avaliação de desempenho de redes locais. Documento
- SQL - Fácil: uma interface amigável para acesso a banco de dados relacional. Documento
- STL como Fonte Padronizadora de Métodos Orientados a Objetos na Especificação de Software Documento
- Segmentação Automática de Fluxos Musicais: Uma Abordagem Via Multi-Agentes. Documento
- Simulação e Análise de Mecanismos de Controle de Fluxo para Serviços ABR em Redes ATM Documento
- Sistema Embarcado Reconfigurável para Automação de Unidades de Bombeamento de Petróleo através de Redes de Sensores sem Fios Documento
- Sistema Neurosimbólico Para A Construção de Árvores Filogenéticas Documento
- Sistema de Auxílio à Manobras e Liberação de Linhas de Transmissão Utilizando Técnicas de Inteligência Artificial Documento
- Sistema de cadastro para bibliotecas baseado no formato IBICT. Documento
- Sistema pré-posicionador de células em circuitos VLSI standar-cells Documento
- Sistemas de Efeitos Colaterais em THM Documento
- Sistemas de Redes de Petri Modulares Baseadas em Objetos Documento
- Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. Documento
- Solução Exata de Sistemas de Equações Lineares Determinados Utilizando a Aritmética Residual. Documento
- Transformação de Esquemas de Objetos Complexos para um Gerenciador Relacional Estendido, Considerando o Padrão ODMG. Documento
- Transformações Rápidas de Fourier - Uma Metodologia de Comparação Documento
- Técnicas de transformação de programas fontes: estudo e aplicação na transformação de programas FORTRAN-66 para FORTRAN-77. Documento
- UM MODELO DE AUTOMAÇÃO DO PLANEJAMENTO DA QUALIDADE COM A UTILIZAÇÃO DE SISTEMAS DE HELP-DESK. Documento
- UMA FERRAMENTA DE APOIO AO DESENVOLVIMENTO DE WEB SERVICES. Documento
- UMA FERRAMENTA DE GERENCIA DE PROJETO DE SISTEMAS Documento
- UMA METODOLOGIA PARA VALIDACAO, ATRAVES DE SIMULACAO, DE ESPECIFICACOES FORMAIS DE PROTOCOLOS DE COMUNICACAO Documento
- UNIX CONCEITOS AVANCADOS E PROGRAMACAO DO SHELL Documento
- Um Ambiente de Programação Concorrente no Sistema Operacional UNIX Documento
- Um Ambiente para Animação e Simulação de Sistemas de G-Nets Documento
- Um Engenho Ativo para a Transformação de SGBDs Passivos ou Semi-Atios em Ativos Documento
- Um Mapeamento Sistemático sobre o Uso de Ontologias em Informática Médica Documento
- Um Serviço de Informação Bibliográfica via Internet - SEI/BIB Documento
- Um Sistema de Arquivos Robusto para o Sistema Operacional UNIX Documento
- Um Verificador Ortográfico para Língua Portuguesa Documento
- Um ambiente colaborativo de representação visual do conhecimento para Web Documento
- Um compilador para a técnica de descrição formal estelle/83. Documento
- Um modelo para a detecção das mudanças de posicionamento dos deputados federais Documento
- Um método geral para redução de grandes conjuntos de dados baseado em difusão geométrica Markoviana Documento
- Uma Ferramenta para Verificação Interativa de Programas - VIP Documento
- Uma Metodologia para Resolução de Problemas do tipo Determine Documento
- Uma ferramenta CASE para a metodologia FADO. Documento
- Uma ferramenta para a validação de protocolos de comunicação Documento
- Uma ferramenta para o desenvolvimento de aplicações Web sobre a Plataforma J2EE Documento
- Uma ferramenta robusta de tratamento de eventos em redes elétricas. Documento
- Uma lógica proposicional de resolução de problemas. Documento
- Uma metodologia para projeto de banco de dados temporais orientado a objetos. Documento
- Uso de conhecimento preliminar na melhoria do aprendizado em um modelo simbólico-conexionista. Documento
- X-GAT: uma ferramenta baseada em XML para otimização com algoritmos genéticos. Documento