Sem registros
|
A New Self-Concordant Barrier for the Hypercube
|
Relatório Técnico |
Otimização |
8/2004 |
658 |
|
|
Avaliação do Retorno sobre Investimento em Projetos de Implantação de Sistemas ERP
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
8/2004 |
657 |
|
|
Cell-Centric Heuristics for the Classification of Cellular Automata
|
Relatório Técnico |
Inteligência Artificial |
8/2004 |
656 |
|
|
Um Algoritmo de Ponto Proximal para Programação Semidefinida
|
Dissertação de Mestrado |
Otimização |
31/8/2004 |
0 |
|
|
Uma Arquitetura Extensível para Integração de Dados Georreferenciados
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
20/8/2004 |
0 |
|
|
Técnicas para Alocação de Fragmentos em Projeto de Bancos de Dados Distribuídos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
19/8/2004 |
0 |
|
|
A Comparison of Groupware Evaluation Methodologies
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
7/2004 |
655 |
|
|
Lógicas Modais e Jogos
|
Relatório Técnico |
Inteligência Artificial |
7/2004 |
654 |
|
|
Model Checking Knowledge in Multi-Agent Systems
|
Relatório Técnico |
Inteligência Artificial |
7/2004 |
653 |
|
|
Um Serviço de Percepção para Uma Infraestrutura de Desenvolvimento de Groupware
|
Tese de Doutorado |
Engenharia de Software |
16/7/2004 |
0 |
|
|
Uma Abordagem com Apoio Ferramental para Aplicação de Técnicas de Leitura em Perspectiva
|
Dissertação de Mestrado |
Engenharia de Software |
2/7/2004 |
0 |
|
|
Infra-Estrutura Computacional de Apoio ao Processo de Inspeção de Software
|
Dissertação de Mestrado |
Engenharia de Software |
2/7/2004 |
0 |
|
|
Concurrency in Graphs With Maximum Degree 4: Complexity and an Approximation Algorithm
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
6/2004 |
652 |
|
|
Execution Context Migration With ZOS
|
Relatório Técnico |
Inteligência Artificial |
6/2004 |
651 |
|
|
Gerando Orientações Acíclicas com Algoritmos Probabilísticos Distribuídos
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
6/2004 |
650 |
|
|
Using Ensembles of Clauses to Quickly Obtain Simpler and Effective Classifiers
|
Relatório Técnico |
|
6/2004 |
649 |
|
|
Formal Verification of Knowledge Based Programs
|
Relatório Técnico |
Inteligência Artificial |
6/2004 |
648 |
|
|
Modelagem e Visualização de Objetos à Mão Livre Usando Superfícies Implícitas Variacionais
|
Dissertação de Mestrado |
Computação Gráfica |
28/6/2004 |
0 |
|
|
Suavização Hiperbólica Aplicada no Problema de Localização de Estações de Radio Base
|
Tese de Doutorado |
Otimização |
18/6/2004 |
0 |
|
|
Uma Infra-estrutura para Integração de Ferramentas Case Baseada em XML, Esquemas e Ontologias
|
Dissertação de Mestrado |
Engenharia de Software |
16/6/2004 |
0 |
|
|
MIMIX: Sistema de Apoio à Modelagem Cooperativa de Software Utilizando Ferramentas CASE Heterogêneas
|
Dissertação de Mestrado |
Engenharia de Software |
9/6/2004 |
0 |
|
|
Gerencia de Mapeamento Entre Esquemas de Representação de Dados Genéticos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
8/6/2004 |
0 |
|
|
On b-perfect Graphs
|
Relatório Técnico |
|
5/2004 |
647 |
|
|
Parallel Strategies for Processing Scientific Workflows
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
5/2004 |
646 |
|
|
New Results on Linear Optimization Through Diagonal Metrics and Riemannian Geometry Tools
|
Relatório Técnico |
Otimização |
5/2004 |
645 |
|
|
Data Quality Evaluation Through Non-Conformity
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
5/2004 |
644 |
|
|
Building Self-Timed Sequence Generators Using Ser And Smer Graph Dynamics
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
5/2004 |
643 |
|
|
Mangaba – Um Sistema de Geometria Dinâmica Espacial
|
Dissertação de Mestrado |
Computação Gráfica |
28/5/2004 |
0 |
|
|
Descrições e Conflitos Computacionais: O Caso da Derivada
|
Tese de Doutorado |
Otimização |
21/5/2004 |
0 |
|
|
Sistematização do Desenvolvimento de Jogos de Simulação para Treinamento
|
Dissertação de Mestrado |
Engenharia de Software |
4/5/2004 |
0 |
|
|
CreEx: A Framework for Creativity in Cooperative Problem Solving
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
4/2004 |
642 |
|
|
Em Busca de um Framework para Estudos Experimentais em Evolução de Software
|
Relatório Técnico |
Engenharia de Software |
4/2004 |
641 |
|
|
On Logics for "Generally" and Ralational Interpretations for "Generally"
|
Relatório Técnico |
|
4/2004 |
640 |
|
|
On Modulated Logics for "Generally": Some Metamathematical Aspects
|
Relatório Técnico |
|
4/2004 |
639 |
|
|
Epistemic Modal Tableaux with Common Knowledge
|
Relatório Técnico |
|
4/2004 |
638 |
|
|
Handling Dissimilarities of Autonomous Equivalent Web services
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/2004 |
637 |
|
|
Reducing Symmetry of the SONET Ring Assignment Problem using Hierarchical Inequalities
|
Relatório Técnico |
Otimização |
3/2004 |
636 |
|
|
Solving the SONET Ring Assignmment Problem using Integer Programming Models
|
Relatório Técnico |
Otimização |
3/2004 |
635 |
|
|
Organizações Caórdicas - Modelagem de Organizações Inovadoras - Modelagem Complexa para Aquisição de Conhecimento em Organizações Inovadoras
|
Relatório Técnico |
|
3/2004 |
634 |
|
|
Knowledge Sharing in Negotiation Process Coordination
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/2004 |
633 |
|
|
Testes de Integração Aplicados a Software Orientado a Objetos: Heurísticas para Ordenação de Classes
|
Relatório Técnico |
Engenharia de Software |
3/2004 |
632 |
|
|
Efeito da Reorganização do Código Binário no Desempenho de “Cache” de Instruções em Arquiteturas RISC
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
31/3/2004 |
0 |
|
|
Ganhos Potenciais da Migração Dinâmica de Traces para Instruções do Tipo CISC em Microarquiteturas Pipelined
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
31/3/2004 |
0 |
|
|
Uma Estrutura de Dados para Malhas Progressivas
|
Dissertação de Mestrado |
Computação Gráfica |
31/3/2004 |
0 |
|
|
CRM e Ambientes Configurados na Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
31/3/2004 |
0 |
|
|
Rede Refricentro: Um Caso de Reversibilidade entre Códigos Abertos e Fechados
|
Dissertação de Mestrado |
Informática e Sociedade |
31/3/2004 |
0 |
|
|
Escalonamento Distribuído por Reversão de Arestas com Reconfiguração Dinâmica de Carga
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/2004 |
0 |
|
|
Um Ambiente de Apoio a Comunidades de Prática no Contexto da Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
30/3/2004 |
0 |
|
|
Um Estudo Sociotécnico da Interface "Ser Humano-Máquina" Envolvendo Computadores: O Caso de Um Acidente Aéreo
|
Dissertação de Mestrado |
Informática e Sociedade |
30/3/2004 |
0 |
|
|
Modelagem e Otimização de Um Sistema de Telecomunicação Sem Fio e de Uma Carteira de Investimentos
|
Tese de Doutorado |
Otimização |
29/3/2004 |
0 |
|
|