Sem registros
|
Simulação Paralela e Distribuída de Redes Neuronais para Percepção Visual de Imagens Naturais
|
Dissertação de Mestrado |
Inteligência Artificial |
6/5/1991 |
0 |
|
|
Sistemas Especialistas Aplicados À Recomposição de Sistemas Elétricos de Potência
|
Dissertação de Mestrado |
Otimização |
2/5/1991 |
0 |
|
|
A Informática na Modernização da Pecuária de Leite
|
Tese de Doutorado |
Informática e Sociedade |
28/5/1991 |
|
|
|
Desenvolvimento de um Algoritmo de Linearizações Sucessivas para Estudos de Confiabilidade em Sistemas de Potência
|
Dissertação de Mestrado |
Otimização |
10/5/1991 |
|
|
|
Projeto de um Suporte para Sistema Operacional Distribuído com Reconfiguração Dinâmica de Processos
|
Tese de Doutorado |
Inteligência Artificial |
3/5/1991 |
|
|
|
The NCP1 Parallel Computer System
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
4/1991 |
241 |
|
|
Avaliação da Qualidade de um Sistema Gerenciador de Banco de Dados para Uso Educacional
|
Relatório Técnico |
|
4/1991 |
240 |
|
|
Critérios de Avaliação e Modalidades do uso do Computador como Tutor
|
Relatório Técnico |
Engenharia de Software |
4/1991 |
239 |
|
|
A Primal Affine-Scaling Algorithm for Linearly Constrained Convex Programs
|
Relatório Técnico |
|
4/1991 |
238 |
|
|
From Distributed Algorithms to OCCAM Programs by Successive Refinements
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
4/1991 |
237 |
|
|
Definição de um Simulador para Redes de Comunicação
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/4/1991 |
0 |
|
|
Implementação de um Sistema de Comunicação para o Sistema Operacional Plurix
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/4/1991 |
0 |
|
|
Uso de Linguagem Natural para Programação de Controladores Lógico-Programáveis
|
Dissertação de Mestrado |
Inteligência Artificial |
25/4/1991 |
0 |
|
|
Implementação de um Programa de Fluxo de Potência Ótimo Utilizando Programação Quadrática Sequencial
|
Dissertação de Mestrado |
Inteligência Artificial |
23/4/1991 |
0 |
|
|
Acompanhamento de Raios Otimizado para Sólidos CSG
|
Dissertação de Mestrado |
Computação Gráfica |
18/4/1991 |
0 |
|
|
Avaliação da Qualidade de Programas
|
Dissertação de Mestrado |
Engenharia de Software |
11/4/1991 |
0 |
|
|
Um Conjunto de Ferramentas para Implementação de Processos Cooperativos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
9/4/1991 |
0 |
|
|
Uma Ferramenta Automatizada para Gerenciamento da Configuração de Software
|
Dissertação de Mestrado |
Engenharia de Software |
5/4/1991 |
0 |
|
|
Benchrel-Benchmark para a Avaliação de Desempenho de Sgbd
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
2/4/1991 |
0 |
|
|
Uma Representação Gráfica para o Modelo de Objetos do GEOTABA
|
Relatório Técnico |
|
3/1991 |
236 |
|
|
Uma Implementação de Relações em Smalltalk
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/1991 |
235 |
|
|
O Problema de Steiner em Grafos Dirigidos
|
Tese de Doutorado |
Otimização |
12/3/1991 |
|
|
|
Exclusão Mútua na Ausência de Registradores Atômicos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/2/1991 |
0 |
|
|
Ferramentas para o Desenvolvimento de Programas Paralelos Distribuídos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/2/1991 |
0 |
|
|
VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural
|
Dissertação de Mestrado |
Inteligência Artificial |
7/2/1991 |
0 |
|
|
Um Estudo de Problemas Combinatórios em Grafos Perfeitos
|
Tese de Doutorado |
Inteligência Artificial |
4/2/1991 |
|
|
|
Learning in Analog Hopfield Networks
|
Relatório Técnico |
|
1/1991 |
234 |
|
|
Reutilização em Software
|
Relatório Técnico |
|
1/1991 |
233 |
|
|
Manual para Avaliação da Qualidade de Software Educacional
|
Relatório Técnico |
Engenharia de Software |
1/1991 |
232 |
|
|
Padrões X400: Análise, Especificação Formal e Proposta de Migração de um MHS
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
25/1/1991 |
0 |
|
|
Critério de Dominância para Problemas de Localização de Armazéns Capacitados de Grande Porte
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
21/1/1991 |
0 |
|
|
Proposta de Um Modelo de Dados para Sistemas de Informação para Escritórios
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
11/1/1991 |
0 |
|
|
Um Sistema de Representação do Conhecimento de Métodos de Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
11/1/1991 |
0 |
|
|
Um Método de Feixe com Região de Confiança
|
Tese de Doutorado |
Otimização |
31/1/1991 |
|
|
|
Estruturas do Discurso: Plano, Ações e Atos de Fala
|
Relatório Técnico |
|
12/1990 |
231 |
|
|
Fatores de Aceleração no Problema de Particionamento não Ponderado
|
Tese de Doutorado |
Otimização |
21/12/1990 |
|
|
|
Predição, Estimação e Medição da Confiabilidade Durante o Ciclo de Vida do Software
|
Dissertação de Mestrado |
Engenharia de Software |
7/12/1990 |
|
|
|
Determinação dos Parâmetros da Transformação Tasseled Cap para Análise e Classificação de Imagens Obtidas pelo Satélite Spot
|
Dissertação de Mestrado |
|
30/11/1990 |
|
|
|
Um Sistema Baseado em Conhecimento como Suporte para o Processo de Alfabetização
|
Dissertação de Mestrado |
Informática e Sociedade |
22/11/1990 |
|
|
|
Taxonomia de Domínios de Aplicação
|
Dissertação de Mestrado |
Engenharia de Software |
14/11/1990 |
|
|
|
Lógicas Não-Monotônicas na Formalização do Senso-Comum
|
Dissertação de Mestrado |
Inteligência Artificial |
8/11/1990 |
|
|
|
Experiments in Parallel Heuristic Search
|
Relatório Técnico |
|
10/1990 |
230 |
|
|
Convergence of the Large Step Primal Affine-Scaling Algorithm for Primal Non-Degenerate Linear
|
Relatório Técnico |
|
10/1990 |
229 |
|
|
Caracterização do Software Educacional: Subsídios para seu Desenvolvimento
|
Relatório Técnico |
|
10/1990 |
228 |
|
|
Projeto e Implementação de uma Linguagem Intermediária do Compilador ACTUS II para Transputer
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
25/10/1990 |
|
|
|
Problema de Planejamento e Percurso de Veículos na Coleta do Lixo Urbano Domiciliar
|
Dissertação de Mestrado |
Otimização |
19/10/1990 |
|
|
|
O Perfil dos Trabalhadores da Área de Processamento de Dados na Cidade do Rio de Janeiro
|
Dissertação de Mestrado |
Informática e Sociedade |
4/10/1990 |
|
|
|
Métodos de Busca Heurística Paralela
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
12/9/1990 |
|
|
|
On Extensions by Function Symbols: Conservativeness and Comparison
|
Relatório Técnico |
|
8/1990 |
227 |
|
|
Projeto e Implementação de um Processador Virtual de Comunicações
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
23/8/1990 |
|
|
|