Sem registros
|
On Cumulative Default Logic with Filters
|
Relatório Técnico |
|
11/1994 |
321 |
|
|
Métodos de Nível-Feixe em Programação Matemática
|
Relatório Técnico |
|
11/1994 |
320 |
|
|
Resolvendo Problemas de Distribuição de Derivados de Petróleo com o SISGRAFO
|
Relatório Técnico |
Otimização |
11/1994 |
319 |
|
|
Problema de Agrupamento Capacitado - Refinamento para Heurística Primal
|
Relatório Técnico |
Otimização |
11/1994 |
318 |
|
|
Mínimos Quadrados Aplicados à Inversão Geofísica
|
Relatório Técnico |
Otimização |
11/1994 |
317 |
|
|
Sistemas de Suporte à Decisão em Grupo
|
Relatório Técnico |
Engenharia de Software |
11/1994 |
316 |
|
|
Interação Homem-Máquina: Conceitos, Características e Metodologia
|
Relatório Técnico |
|
10/1994 |
315 |
|
|
Algoritmos e Complexidade de Decomposição em Grafos
|
Tese de Doutorado |
Inteligência Artificial |
20/10/1994 |
|
|
|
Suporte a Ambientes Distribuídos para Aprendizagem Cooperativa
|
Tese de Doutorado |
Engenharia de Software |
6/10/1994 |
|
|
|
Uma Análise dos Novos Requisitos Profissionais Face a Introdução das Novas Tecnologias: Um Estudo do Caso no Setor Metalúrgico
|
Dissertação de Mestrado |
Informática e Sociedade |
5/10/1994 |
|
|
|
Recuperação Cooperativa do Projeto Arquitetônico de Sistemas
|
Dissertação de Mestrado |
Engenharia de Software |
4/10/1994 |
|
|
|
Trabalho Cooperativo Suportado por Computador
|
Relatório Técnico |
Engenharia de Software |
9/1994 |
314 |
|
|
Trabalho Cooperativo: Análise de sua Utilização em Desenvolvimento de Software Baseado em Estudo de Casos
|
Dissertação de Mestrado |
Informática e Sociedade |
16/9/1994 |
|
|
|
Elementos de Geometria Diferencial
|
Relatório Técnico |
|
8/1994 |
313 |
|
|
Avaliação de Qualidade de Sistemas Especialistas
|
Relatório Técnico |
Engenharia de Software |
8/1994 |
312 |
|
|
Processo de Desenvolvimento de Sistemas Especialistas em Cardiologia
|
Relatório Técnico |
Engenharia de Software |
8/1994 |
311 |
|
|
Hipermídia na Educação: Paradigmas e Avaliação da Qualidade
|
Dissertação de Mestrado |
Engenharia de Software |
23/8/1994 |
|
|
|
Quorum - Um Sistema de Suporte à Decisão em Grupo para o Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
23/8/1994 |
|
|
|
Métodos de Resolução para a Classe de Problemas da Programação não Linear Inteira
|
Tese de Doutorado |
Otimização |
22/8/1994 |
|
|
|
Reutilização de Software: Tópicos para Pesquisa e Perspectivas Futuras
|
Relatório Técnico |
|
7/1994 |
310 |
|
|
Uma Análise da Atualização da Informática na Educação do Brasil: O Caso do Município do Rio de Janeiro
|
Relatório Técnico |
Engenharia de Software |
7/1994 |
309 |
|
|
Definindo Conservativamente um novo Símbolo de Função em uma Teoria Default
|
Relatório Técnico |
|
7/1994 |
308 |
|
|
Sobre o Teorema da Construbilidade e a Implementação de Tipos Abstratos de Dados
|
Relatório Técnico |
|
7/1994 |
307 |
|
|
Distributed Breakpoint Detection in Message-Passing Programs
|
Relatório Técnico |
|
7/1994 |
306 |
|
|
Integração de Ferramentas na Estação Taba
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
305 |
|
|
Sobre o Teorema da Modularização e a Composição de Passos Canônicos Subsequentes no Contexto da Lógica Default
|
Relatório Técnico |
|
6/1994 |
304 |
|
|
O Projeto Keypal e os Recursos Internet: Apoio ao Trabalho Cooperativo entre Crianças de Diferentes Países
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
303 |
|
|
Uma Experiência na Definição do Processo de Desenvolvimento e Avaliação de Software Segundo as Normas ISO
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
302 |
|
|
O Uso das Tecnologias da Informática para o Desenvolvimento da Educação
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
301 |
|
|
Preservando a Semântica de Atualizações na Integração de Visões
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
18/5/1994 |
|
|
|
Triangulação Adaptativa de Sólidos CSG para Geração de Malhas de Elementos Finitos
|
Dissertação de Mestrado |
Computação Gráfica |
2/5/1994 |
|
|
|
Automação dos Postos de Benefícios Informatizados da Previdência Social
|
Dissertação de Mestrado |
Informática e Sociedade |
2/5/1994 |
|
|
|
Retropropagação Recorrente: Aplicação na Previsão de Séries Temporais e Identificação de Assinaturas Sonoras
|
Dissertação de Mestrado |
Inteligência Artificial |
2/5/1994 |
|
|
|
Sobre Esquemas de Indução
|
Dissertação de Mestrado |
Inteligência Artificial |
2/5/1994 |
|
|
|
AGRON: Uma Interface Baseada em Linguagem Natural para Consulta a Bancos de Dados da Produção Agrícola
|
Dissertação de Mestrado |
Inteligência Artificial |
28/4/1994 |
0 |
|
|
Informática na Administração do Estado do Rio de Janeiro - Estudo de Caso: O PRODERJ
|
Dissertação de Mestrado |
Informática e Sociedade |
29/4/1994 |
|
|
|
Propriedades e Algoritmos para Especializações de Hipergrafos Orientados
|
Dissertação de Mestrado |
Inteligência Artificial |
29/4/1994 |
|
|
|
Redes Neurais Aplicadas a Aquisição do Conhecimento de Especialistas em Sistemas Elétricos de Potência
|
Dissertação de Mestrado |
Inteligência Artificial |
28/4/1994 |
|
|
|
Um Modelo de Programação Matemática para a Otimização dos Horários de Trens do Metrô do Rio de Janeiro
|
Dissertação de Mestrado |
Otimização |
28/4/1994 |
|
|
|
Sistemas Gerenciadores de Bancos de Dados para Geoprocessamento
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
27/4/1994 |
|
|
|
Uma Ferramenta para Seleção de Módulos Reutilizáveis
|
Dissertação de Mestrado |
Engenharia de Software |
26/4/1994 |
|
|
|
Metodologias Simbólicas para a Resolução Eficiente de Sistemas Lineares Esparsos com Estrutura Estática
|
Dissertação de Mestrado |
Otimização |
24/4/1994 |
|
|
|
Diagnose em Sistemas de Potência Utilizando Lógica Não-Monotônica e Redes Neurais
|
Dissertação de Mestrado |
Inteligência Artificial |
20/4/1994 |
|
|
|
Sobre a Simulação Paralela de Alguns Modelos Complexos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
15/4/1994 |
|
|
|
Algoritmos de Região de Confiança para Otimização com Restriçães de Igualdade
|
Dissertação de Mestrado |
Otimização |
14/4/1994 |
|
|
|
Um Modelo Computacional dos Substratos Neurobiológicos da Atenção Visual
|
Dissertação de Mestrado |
Inteligência Artificial |
6/4/1994 |
|
|
|
Uma Proposta para Ambiente de Desenvolvimento de Sistemas Baseados em Conhecimento
|
Relatório Técnico |
|
3/1994 |
300 |
|
|
Processo de Desenvolvimento para Sistemas Baseados em Conhecimento
|
Relatório Técnico |
|
3/1994 |
299 |
|
|
A Questão da Integração de Ferramentas em Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
Engenharia de Software |
3/1994 |
298 |
|
|
Ambientes de Desenvolvimento de Software e suas Propostas de Integração de Ferramentas
|
Relatório Técnico |
Engenharia de Software |
3/1994 |
297 |
|
|