INFORMÁTICA
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
Assessing the Bug-Proneness of Refactored Code: Longitudinal Multi-Project Studies Documento
-
"A Synchronous Reactive Language based on Implicit Invocation" Documento
-
"Algoritmos para Diagnóstico Assistido de Nódulos Pulmonares Solitários em Imagens de Tomografia Computadorizada." Documento
-
"Aplicando o Modelo MOF e o XMI para a Integração de Bancos de Dados Heterogêneos". Documento
-
"Apoio ao design e à interpretação de modelos de interação humano-computador representados em MoLIC." Documento
-
"Dois problemas de otimização em grafos: transporte em redes de dutos e busca com custos de acesso" Documento
-
"HybridDesk: Uma Abordagem para Transições entre Interfaces em um Sistema Híbrido Semi-imersivo." Documento
-
, Integrando modelagem intencional à modelagem de processos Documento
-
2-Category and Proof Theory Documento
-
A Synchronous Reactive Language based on Implicit Invocation Documento
-
A BLUEPRINT-BASED APPROACH FOR PRIORITIZING AND RANKING CRITICAL CODE ANOMALIES Documento
-
A CLOUD BASED REAL-TIME COLLABORATIVE FILTERING ARCHITECTURE FOR SHORT-LIVED VIDEO RECOMMENDATIONS Documento
-
A CLOUD COMPUTING ARCHITECTURE FOR LARGE SCALE VIDEO DATA PROCESSING Documento
-
A Capture & Access technology to support documentation and tracking of qualitative research applied to HCI Documento
-
A Collaborative Environment for Offshore Engineering Simulations based on Visualization and Workflow Documento
-
A Contratação de Tecnologia da Informação na Administração Pública Federal: o caso do desenvolvimento de software sob demanda Documento
-
A DOCUMENTAÇÃO E A INSTANCIAÇÃO DE FRAMEWORKS ORIENTADOS A OBJETOS Documento
-
A Dinâmica do Complexo Eletrônico: Implicações para as Políticas de Informática dos Países em Desenvolvimento Documento
-
A Domain Engineering Process for Developing Multi-agent Systems Product Lines Documento
-
A Dynamic Load Balancing Mechanism for Data Stream Processing on DDS Systems Documento
-
A ENGENHARIA SEMIÓTICA DE LINGUAGENS DE INTERFACES MULTI-USUÁRIO Documento
-
A Formação de Recursos Humanos em Informática: Um Estudo de Caso em Engenharia de Software Documento
-
A GALS Approach for Programming Distributed Multimedia Applications Documento
-
A GERACAO DE RESPOSTAS COOPERATIVAS EM SISTEMAS BASEADOS EM LOGICA Documento
-
A Graph Based Theorem Proving Platform with Strategies. Documento
-
A Interação entre Usuários e Sistemas Computacionais em Linguagem Natural orientada por Menus Documento
-
A KEYWORD-BASED QUERY PROCESSING METHOD FOR DATASETS WITH SCHEMAS Documento
-
A Lógica dos Recursos no Formalismo de Rede de Petri Documento
-
A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira Documento
-
A MACHINE LEARNING APPROACH FOR PORTUGUESE TEXT CHUNKING Documento
-
A Mixed Integer Programming approach for sugar cane cultivation and harvest planning. Documento
-
A Model and an Interactive System for Plot Composition and Adaptation, based on Plan Recognition and Plan Generation. Documento
-
A Model for Exploration of Semi-Structured Datasets Documento
-
A Modelagem Interna de uma Ferramenta para o Desenvolvimento Visual de Sistemas Orientados a Objetos Documento
-
A Novel Solution to Empower Natural Language Interfaces to Databases (NLIDB) to Handle Aggregations Documento
-
A SELF-SUPERVISED METHOD FOR BLIND DENOISING OF SEISMIC SHOT GATHERS Documento
-
A SIMPLE AND EFFECTIVE HYBRID GENETIC SEARCH FOR THE JOB SEQUENCING AND TOOL SWITCHING PROBLEM Documento
-
A SPLIT AND MERGE ARCHITECTURE FOR DISTRIBUTED VIDEO PROCESSING IN THE CLOUD Documento
-
A STUDY ON NEURAL NETWORKS FOR POKER PLAYING AGENTS Documento
-
A STUDY ON PERVASIVE GAMES BASED ON THE INTERNET OF MOBILE THINGS Documento
-
A Scalable Middleware for Structured Data Provision and Dissemination in Distributed Mobile Systems Documento
-
A Software Component Library for Radar Simulators Documento
-
A System for Stock Exchange Forecasting and Simulation Documento
-
A System for Stock Market Forecasting and Simulation Documento
-
A TOOL FOR THE INTRODUCTION OF PROGRAMMING AND COMPUTATIONAL THINKING WITH MOTIVATION USING VIRTUAL REALITY Documento
-
A TRANSFORMADA DE BURROWS-WHEELER E SUA APLICAÇÃO À COMPRESSÃO Documento
-
A Token Classification Approach to Dependency Parsing Documento
-
A estrutura modular Documento
-
A geometric algorithm to generate random polydisperse dense arrangements of non over-lapping disk particles Documento
-
A implementação da linguagem de programação Sloth Documento
-
A implementação de um módulo HIP na ferramenta de simulação OMNeT++ para avaliação de desempenho de handoff. Documento
-
A methodology for conceptual design of pervasive mobile games Documento
-
A model-centric sequential approach to outlier ensembles in a marketing science context Documento
-
A novel approach for de Bruijn Graph construction for denovo genome assembly Documento
-
A novel committe-based clustering method Documento
-
A novel self-adaptive approach for optimizing the use of IoT devices in patient monitoring using EWS Documento
-
A robust real-time component for personal protective equipment detection in an industrial setting Documento
-
A ser definido Documento
-
A spatial partitioning heuristic for automatic adjustment of the 3D navigation speed in multiscale virtual environments Documento
-
A survey of function values in imperative programming languages Documento
-
A synchronous virtual machine for multimedia presentations Documento
-
AGRUPAMENTO DE AÇÕES POR EMBEDDINGS TEXTUAIS NA PREVISÃO DE PREÇOS Documento
-
AJUSTE ELÁSTICO EM TEMPO DE EXIBIÇÃO PARA FLUXOS DE ÁUDIO COMPRIMIDO Documento
-
ALBA: UM AMBIENTE PARA CLASSIFICADORES BAYESIANOS POR AGLOMERACAO Documento
-
ALGORITHMS FOR TABLE STRUCTURE RECOGNITION Documento
-
ALGORITMOS APROXIMATIVOS PARA O PROBLEMA DE ATRIBUIÇÃO DE HOTLINKS E PARA BUSCA BINÁRIA EM ÁRVORES Documento
-
ALGORITMOS PARA PROCESSAMENTO DE IMAGENS E VISÃO COMPUTACIONAL PARA ARQUITETURAS PARALELAS EM PLACAS GRÁFICAS Documento
-
ALua: Um Sistema Multi-Canal Baseado em Eventos e Mobilidade de Codigo Documento
-
AMBIENTE INTEGRADO PARA POSICIONAMENTO EM OPERAÇÕES MILITARES Documento
-
AN ARCHITECTURE FOR RDF DATA SOURCES RECOMMENDATION Documento
-
AN IMPROVED EXACT METHOD FOR THE UBQP Documento
-
ANALISE E PROJETO DE SISTEMAS DE PROCESSAMENTO DE INFORMACOES - ROTEIRO PARA UM CURSO Documento
-
ANALYZING, COMPARING AND RECOMMENDING CONFERENCES Documento
-
ANIMAÇÂO DE FRATURA DE OBJETOS BASEADA EM AGRUPAMENTOS DE VÉRTICES Documento
-
ANOTADOR DE PAPEIS SEMÂNTICOS PARA PORTUGUÊS Documento
-
ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS Documento
-
ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM Documento
-
APLICAÇÕES DOS COMPUTADORES À PESQUISA DA HOMOLOGIA DA ÁLGEBRA DE STEENROD Documento
-
APOIANDO O DESIGNER DE IHC NA TOMADA DE DECISÃO SOBRE O DESIGN DE INTERFACES EXTENSÍVEIS Documento
-
APOIO À TRANSFERÊNCIA DE CONHECIMENTO DE RACIOCÍNIO COMPUTACIONAL DE LINGUAGENS DE PROGRAMAÇÃO VISUAIS PARA LINGUAGENS DE PROGRAMAÇÃO TEXTUAIS Documento
-
AUTENTICAÇÃO E CONTROLE DE ACESSO INTERINSTITUCIONAL Documento
-
AUTONOMOUS SYSTEMS EXPLAINABLE THROUGH DATA PROVENANCE Documento
-
AVALIAÇÃO DE AUMENTO DE DADOS VIA GERAÇÃO DE IMAGENS SINTÉTICAS PARA SEGMENTAÇÃO E DETECÇÃO DE PÓLIPOS EM IMAGENS DE COLONOSCOPIA UTILIZANDO APRENDIZADO DE MÁQUINA Documento
-
Abordagem Sistemática ã Instanciação de Frameworks Orientados a Objetos Documento
-
Abordagens Paralelas para Temas de Visão Computacional Documento
-
Acessibilidade por diálogos de mediação: Desenvolvimento e avaliação de um assistente de navegação para a Web Documento
-
Acompanhamento de Cenas com Calibração Automática de Câmeras Documento
-
Active Chart: une ferramenta de edição de gráficos quantitativos Documento
-
Adicionando Persistência à linguagem Pascal orientada a objetos Documento
-
Admistração de Dados em Mainframes: Uma avaliação operacional. Documento
-
Agentes Lua: Um Mecanismo de Comunicação em Lua Documento
-
Agentes Reativos para Centros de Controle de Energia Elétrica Documento
-
Agentes de Software com Traços de Personalidade baseados na Arquitetura BDI para Tomada de Decisões Normativas Documento
-
Agregando Frameworks de Infra-Estrutura em uma Arquitetura Baseada em Componentes: Um Estudo de Caso no Ambiente AulaNet Documento
-
Agrupamento de Registros Textuais Baseado em Similaridade entre Textos Documento
-
Algoritmo Robusto para Interseção de Superfícies Triangulares Documento
-
Algoritmo de Branch and Bound com cortes B5 - Uma Implementação Distribuída Documento
-
Algoritmo de corte com preservação de contexto para visualização de modelos de reservatório Documento
-
Algoritmos Eficientes para Atribuição de Hotlinks em Diretórios Web Documento
-
Algoritmos Eficientes para Atribuição de Hotlinks em Diretórios Web Documento
-
Algoritmos Primais e Duais para o Problema das p-Medianas. Documento
-
Algoritmos de roteamento para redes ATM Documento
-
Algoritmos para Problemas de Otimização Aplicados a Roteamento e Atribuição de Comprimentos de Onda Documento
-
Algoritmos para Problemas de Programação de Horários de Cursos Pós-Matrícula. Documento
-
Algoritmos para Problemas de Steiner com Aplicações em Projeto de Circuitos VLSI Documento
-
Algoritmos para Problemas de Steiner com Aplicações em Projetos de Circuitos VLSI Documento
-
Algoritmos para QoS em Redes de Computadores Documento
-
Algoritmos para Regressão por Mínimos Quadrados Parciais Documento
-
Algoritmos para raciocínio evidencial usando funções de crença. Documento
-
Alinhamento de esquemas baseado em instâncias. Documento
-
Alinhamento entre Arquitetura Empresarial e PDTI: Um Estudo de Caso Documento
-
Alocação de Dados e Distribuição de Carga para Execução Paralela da Estratégia BLAST de Comparação de Seqüências Documento
-
Ambiente Declarativo Para Sistemas que Implementem o GEM Documento
-
Ambiente Declarativo para Sistemas que Implementam o GEM. Documento
-
Ambiente Integrado Para Sistemas Interativos: Criacao de Sistemas de Apoio A Decisao Documento
-
Ambiente de Desenvolvimento de Soluções Documento
-
Ambientes para Processamento de Conhecimento Documento
-
An Algorithm to generate Random Sphere Packs in Arbitrary Domains Documento
-
An Approach for Dealing with Inconsistencies in Data Mashups Documento
-
An Approach for Movement Coordination of Swarms of Unmanned Aerial Vehicles by Using Mobile Networks Documento
-
An Approach for Reviewing Security Related Aspects in Agile Requirements Specifications of Web Applications Documento
-
An Approach to Operationalize Regulative Norms in Multiagent Systems. Documento
-
An Architecture for E-Health Systems that supports Patient Monitoring and Caregivers Notification based on a Reasoning Model to avoid Alarm Fatigue Documento
-
An approach to answering natural language questions in Portuguese from ontologies and knowledge bases Documento
-
Analisando o Alinhamento Estratégico de Recursos Humanos Através de Modelos Organizacionais Documento
-
Analise Comparativa de Tecnicas de Teste de Programas Documento
-
Analise Lógica de Dialetos Formalizáveis do Português Documento
-
Analise do comportamento de membranas planas anulares sob a ação de cargas Documento
-
Analysis of Natural Language Scenarios Documento
-
Analyzing Exception Flows of Aspect-Oriented Programs Documento
-
Animação Comportamental Baseada em Agentes Documento
-
Animação Interativa de Fluido baseada em Partículas pelo Método SPH Documento
-
Animação baseada em Física com Modelos Geométricos em Multi-Resolução Documento
-
Anotador Morfossintático para o Português-Twitter Documento
-
Anotação morfossintática a partir do contexto morfológico Documento
-
Anticipating Change in Software Systems supporting Organizational Information Systems using a Strategic Organizational based Approach Documento
-
Análise de Aspectos Estruturais de Programas para Auxílio na Geração de Dados de Teste Documento
-
Análise de Conformidade de Software com Base em Catálogos de Requisitos não Funcionais: Uma Abordagem Baseada em Sistemas Multi-Agentes Documento
-
Análise de Estratégias Utilizando Verificação Formal de Modelos Documento
-
Análise de Negócio Aplicada à Modelagem de Meta Ambientes Automatizados Documento
-
Análise de Projetos de Sistemas Documento
-
Análise de Sistemas de Comunicação de Dados via Satélite com Protocolos em Contenção Documento
-
Análise de modelos de metas baseada em colorimetria Documento
-
Análise probabilística de semântica latente aplicada a sistemas de recomendação. Documento
-
Aplicando Técnicas de Conversação para a Facilitação de Debates no Ambiente AulaNet Documento
-
Aplicação Adaptativa de Guia Eletrônico utilizando o Ginga-NCL Documento
-
Aplicação da Análise de Sistemas à Definição de Processos de Desenvolvimento de Software Documento
-
Aplicação da Transformada S na Decomposição Espectral de Dados Sísmicos. Documento
-
Aplicações de DHT em sistemas de computação distribuída Documento
-
Aplicações de Métodos Cíclicos a Equações Stiff Documento
-
Apoiando o Projeto e Avaliação da Interação e da Interface: Um estudo e uma ferramenta. Documento
-
Applying Process Mining to the Academic Administration Domain Documento
-
Approximation Algorithms for Decision Trees Documento
-
Aprendizado de Máquina para o Problema de Sentiment Analysis Documento
-
Aproximações de fator constante para o problema de atribuição de hotlinks Documento
-
Areas: Criptografia / Seguranca da Informacao / Compressao de Dados Documento
-
Armazenamento e Manipulação de Mapas Vetoriais em Arquiteturas Paralelas, Dissertação de Mestrado Documento
-
Arquitetura para Adaptação e Meta-Adaptação de Sistemas Hipermídia Documento
-
Arquitetura para Reutilização de Processos de Software Documento
-
Arquiteturas, Técnicas e Algoritmos para Bancos de Dados de Aplicações Científicas Distribuídas Documento
-
As Árvores de Tempos e a Configuração Genética dos Intervalos Musicais Documento
-
Assessment of Fine-tuning on End-to-End Speech Recognition Models Documento
-
Atribuição de árbitros em competições esportivas: Algoritmos e aplicações Documento
-
Atribuição de árbitros em competições esportivas: Algoritmos e aplicações mono e multi-critério Documento
-
Autenticação de Usuários em Ambientes Distribuídos Documento
-
AutoCode: Um Gerador Automático de Geradores de Código Documento
-
Automatic Generation of Benchmarks for Evaluating Keyword and Natural Language Interfaces to RDF Datasets Documento
-
Automação do Processo de Gerência do Teste de Software. Documento
-
Autoria Gráfica de Estruturas de Documentos Hipermídia no Sistema HyperProp Documento
-
Autoria de Documentos Hipermídia Orientada a Templates Documento
-
Autovalores e autovetores na solução de matrizes Documento
-
Auxílio a Portabilidade de Código em Aplicações de Alto Desempenho Documento
-
Avaliação da Metacomunicação Intercultural na Interação Humano-Computador: um vocabulário para acessar as perspectivas culturais dos usuários Documento
-
Avaliação da Modularidade e Estabilidade de Linhas de Produtos de Sistemas Multi-agentes Documento
-
Avaliação da Modularidade e Estabilidade de Técnicas de Implementação para Linhas de Produtos de Sistemas Multi-Agentes Documento
-
Avaliação da Qualidade de Software com Base em Modelos UML. Documento
-
Avaliação de Algoritmos Online para Seleção de Links Patrocinados Documento
-
Avaliação de Desempenho em Redes de Comutação de Pacotes Documento
-
Avaliação de técnicas de visualização 2D-3D e de gestão de atenção para operação de plantas industriais Documento
-
Avaliação do Uso de Análise Estática na Detecção de Conflitos Semânticos em Tipo de Dados Documento
-
Avaliação do estado físico-motor de pessoas com mobilidade reduzida usando captura de movimento com o Microsoft Kinect Documento
-
Avaliação do impacto de acidentes de trânsito no tráfego de vias urbanas a partir de valores de velocidade Documento
-
BLENDING AND REUSING RULES FOR ARCHITECTURAL DEGRADATION PREVENTION Documento
-
BONNIE: BUILDING ONLINE NARRATIVES FROM NOTEWORTHY INTERACTION EVENTS Documento
-
Babel - Um framework extensível para publicação de dados no formato Linked Data Documento
-
Babel: Um Framework Extensível para a publicação de RDF de Várias Fontes de Dados Utilizando Templates Documento
-
Balanceamento de carga de aplicações paralelas SPMD Documento
-
Banco de Dados Acadêmico e de Produção Científica Documento
-
Banco de Dados Mutimídia em CD-ROM:Primitivas de Acesso a Objetos Multimídia Documento
-
Beauty Technology as an Interactive Computing Platform Documento
-
Bench - Um gerador de dados para testar algoritmos de alinhamento de esquemas conceituais Documento
-
Bio-AXS: Uma arquitetura para Integração de Fontes de Dados e Aplicações da Biologia Molecular Documento
-
Boosting para Sistemas de Recomendação Documento
-
BraPolar: uma aplicação para o monitoramento remoto de pessoas com transtorno bipolar Documento
-
Browsers e Trilhas para Documentos Hipermídia Baseados em Modelos com Composições Aninhadas Documento
-
Busca Tabu Reativa Paralela com Religamento para o Problema de Steiner em Grafos Documento
-
CALCULO AUTOMATICO DE DISTANCIAS EM FERROVIAS. Documento
-
CAMPOS DE DISTÂNCIA AMOSTRADOS ADAPTATIVAMENTE COM ACELERAÇÃO POR PLACA GRÁFICA Documento
-
CASAMENTO DE PADROES EM AMBIENTES PARA PROCESSAMENTO DE CONHECIMENTO Documento
-
CATEGORIAS E SEQUENCIALIDADE Documento
-
CATEGORIZAÇÃO E ESTRUTURAÇÃO DE MENSAGENS TEXTUAIS EM AMBIENTES VIRTUAIS DE COLABORAÇÃO Documento
-
CLASSIFICAÇÃO DE IMAGENS DE SENSORIAMENTO REMOTO USANDO SVM Documento
-
CLASSIFICAÇÃO DE PÁGINAS WEB POR APRENDIZAGEM DE MÚLTIPLAS CATEGORIAS LATENTES Documento
-
CLEW - Uma Proposta de Ambiente de Aprendizado Cooperativo para a Web Documento
-
CN: Dedução Natural para CLT Documento
-
CN: Dedução Natural para CTL Documento
-
CODIFICAÇÃO LIVRE DE PREFIXO PARA CRIPTO-COMPRESSÃO Documento
-
COMMERCEPIPE: Um Framework para a Criação de Canais Comerciais Consumer to Business na Internet Documento
-
COMMUNICATIVE DIMENSIONS OF APPLICATION PROGRAMMING INTERFACES (APIS) Documento
-
COMPACTAÇÃO DE PROVAS LÓGICAS Documento
-
COMPORTAMENTO EM GRUPO DE PERSONAGENS DO TIPO BLACK&WHITE Documento
-
CONFIANÇA EM AGENTES INTELIGENTES Documento
-
CONTROLE DA EXECUÇÃO E DISPONIBILIZAÇÃO DE DADOS PARA APLICATIVOS SOBRE SEQÜÊNCIAS BIOLÓGICAS: O CASO BLAST Documento
-
CONTROLE DE VERSÕES NO MODELO DE CONTEXTOS ANINHADOS Documento
-
CONTROLE DO SINCRONISMO TEMPORAL DE APLICAÇÕES HIPERMÍDIA Documento
-
CONVERSÃO DE REGEXES PARA PARSING EXPRESSION GRAMMARS Documento
-
COORDENAÇÃO DE WORKFLOWS EM AMBIENTES COM SUPORTE A DISPOSITIVOS MÓVEIS Documento
-
CULTURAL VIEWPOINT METAPHORS TO EXPLORE AND COMMUNICATE CULTURAL PERSPECTIVES IN CROSS-CULTURAL HCI DESIGN Documento
-
Calibração de câmera usando projeção frontal-paralela e colinearidade dos pontos de controle Documento
-
Calibração de múltiplas câmeras baseada em um padrão invariante Documento
-
Calibração e Posicionamento de Câmera Utilizando Fotos e Modelos de Edificações Documento
-
Caminhamento em Grafos Simétricos Documento
-
Campos de direcionalidade na geração e avaliação de malhas de quadriláteros Documento
-
Caracterização Sistemática de Restrições de Integridade Documento
-
Cataloging Dependency Injection Anti-Patterns in Software Systems Documento
-
Circuitos Transformacionais Documento
-
Classificação Automática de Dados Semi-Estruturados / Automatic Classification of Semi-Structured Data Documento
-
Classificação automática de dados semi-estruturados. Documento
-
Classificação de Gliomas Utilizando Índices de Biodiversidade e de Diversidade Filogenética em Imagens por Ressonância Magnética Através de uma Abordagem Radiomics Documento
-
Classificação de Sentimento para Notícias sobre a Petrobras no Mercado Financeiro Documento
-
Classificação e Segmentação de Áudio a partir de Fatores de Escala MPEG Documento
-
Clustering and Dataset Interlinking Recommendation in the Linked Open Data Cloud Documento
-
Coleta de Lixo em Sistemas Distribuídos Orientados a Objeto Documento
-
Colorizacao 3D para Animacao 2D Documento
-
Combinando metaeurísticas com resolvedores MIP com aplicações ao Generalized Assignment Problem (GAP) Documento
-
Combinação e Seleção Automática de Ações de Sintonia Fina Documento
-
Combined 3D Visualization of Volume Data and Polygonal Models using a Shear-Warp Algorithm Documento
-
Combining a process and tools to support the analysis of online communities applied to healthcare Documento
-
CommEST - Uma ferramenta de apoio ao método de Avaliação de Comunicabilidade Documento
-
CommercePipe: Um framework para a formação de Mercados C2B na Internet Documento
-
Comparação de Projeto Baseado em Agentes e Orientação a Objetos na Plataforma GeoRisc Documento
-
Compartilhamento e Semântica Denotacional Documento
-
Comportamento das componentes de sistemas multi-toque baseados em reflexão interna total confinada Documento
-
Composer: Aspectos não-funcionais em um ambiente de autoria para aplicações NCL Documento
-
Composer: um Ambiente de Autoria de Documentos NCL para TV Digital Interativa Documento
-
Composição de Imagens com Iluminação HDR através de um Aprimoramento da Técnica de Renderização Diferencial Documento
-
Composição de Métodos de Avaliação de IHC para Ambientes Virtuais Híbridos: Um Estudo de Caso com a HybridDesk. Documento
-
Composição de Métodos de Avalição de IHC para Ambientes Virtuais Híbridos: um Estudo de Caso com a HybridDesk Documento
-
Composição em WebFrameworks Documento
-
Compressão de números naturais, sequência de bits e grafos. Documento
-
Compressão de sequência de bits e grafos Documento
-
ComunIHC-ES: Ferramenta de Apoio à Comunicação entre Profissionais de IHC e Engenheiros de Software Documento
-
Comunicação através de modelos no contexto do desenvolvimento deSoftware Documento
-
Comutador de Pacotes com Arquitetura Distribuída: Considerações e Especificação Preliminar Documento
-
Conceitos Centrais e Componentização de Diagramas de Classe UML representados em Grafo Documento
-
Conceptual schema matching based on similarity heuristics Documento
-
Conciliando Flexibilidade e Eficiência no Desenvolvimento do Ambiente Declarativo Ginga-NCL Documento
-
Configuração Colaborativa de Linha de Produtos de Software Documento
-
Considerando o Usuario em Aplicacoes Hipermidia Documento
-
Construindo um Jogo Educacional com Modelagem Intencional Apoiado em Princípios de Transparência Documento
-
Construindo um Jogo Educacional com Modelagem Intencional Apoiados em Princípios de Transparência. Documento
-
Construção Automática de Mapas Batimétricos Documento
-
Construção Eficiente de Códigos Livres de Prefixo Documento
-
Construção de Espaços de Cor Euclidianos e Perceptualmente Uniformes com base na fórmula CIEDE2000 Documento
-
Construção de sistemas epecialistas usando o SAFO Documento
-
Contabilidade de Custos no Desenvolvimento de Software Documento
-
ContentNet: um framework para interoperabilidade de conteúdos educacionais utilizando o padrão IMS Documento
-
Context management for Distributed and Dynamic Context-aware Computing Documento
-
Contract Oriented Web Services Model (COWS) - Um Modelo Baseado em Contratos para Suporte a Processos de Negócios na Web Documento
-
Coordenação de Sistemas Multiagentes via Equilíbrio de Mercado Econômico Documento
-
Coreference resolution for the English language Documento
-
Correio Eletronico em Portugues Documento
-
Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto. Documento
-
Criação Automátiva de Visões Materializadas em SGBDs Relacionais Documento
-
Criação Autônoma de Índices em Bancos de Dados Documento
-
Criação automática de Visões Materializadas em SGBDs Relacionais Documento
-
Criação e Manutenção de Subdivisões do Espaço Documento
-
CrimeVis: An Interactive Visualization System for Analyzing Criminal Data in the State of Rio de Janeiro Documento
-
Cultural Viewpoint Metaphors to Explore and comunicate cultural perspectives in cross-cultural HCI design. Documento
-
Códigos de Cobertura: Limites e Heurísticas. Documento
-
Códigos de Prefixo: Algoritmos e Cotas Documento
-
Códigos de Prefixos de Rápida Decodificação Documento
-
DBTGINHO/CAD : um sistema de gerencia de banco de dados para aplicações não convencionais Documento
-
DCD Tool: um conjunto de ferramentas para descoberta e triplificação de cubos estatísticos Documento
-
DESENVOLVIMENTO DE INTERFACES GOVERNADAS POR ONTOLOGIAS PARA APLICAÇÕES NA WEB SEMÂNTICA Documento
-
DESENVOLVIMENTO E AVALIAÇÃO DE UM JOGO DE COMPUTADOR PARA ENSINO DE VOCABULÁRIO PARA CRIANÇAS COM AUTISMO Documento
-
DESENVOLVIMENTO INTENCIONAL DE SOFTWARE TRANSPARENTE BASEADO EM ARGUMENTAÇÃO Documento
-
DETALHAMENTO DE SUPERFÍCIES UTILIZANDO TESSELAÇÃO EM HARDWARE Documento
-
DG2CEP: An On-line Algorithm for Real-time Detection of Spatial Clusters from Large Data Streams through Complex Event Processing Documento
-
DLua: Uma Ferramenta para Desenvolvimento de Aplicações Distribuídas Documento
-
DORPA: UMA ONTOLOGIA DE DESIGN QUE INTEGRA REQUISITOS, PROCESSO E ARTEFATOS Documento
-
DOS REQUISITOS AO CÓDIGO: UM PROCESSO PARA DESENVOLVIMENTO DE SOFTWARE MAIS TRANSPARENTE Documento
-
DWeb3D: Um toolkit para facilitar a criação e manipulação de cenas 3D usando X3D. Documento
-
Data Stream Anomaly Detection through Principal Subspace Tracking Documento
-
Dead Reckoning Orientado a Metas para Personagens Reativos Documento
-
Decentralized Reasoning in Ambient Intelligence Documento
-
Deep Architecture for Quotation Extraction Documento
-
Deep Reinforcement Learning for Voltage Control in Power Systems Documento
-
Deep-Learning-Based Shape Matching Framework on 3D CAD Models Documento
-
Definição e Implementação de Abstração de Dados em Linguagens de Programação Documento
-
Deformações globais com especificação direta Documento
-
Demonstração Formal da Correção de Compilador Simples Documento
-
Denoising and simplification in the construction of 3D digital models of complex objects Documento
-
Deployment of Distributed Component-based Applications on Cloud Infrastructures Documento
-
Derivação Semi-Automática de Modelos Entidade - Relacionamento a partir Documento
-
Descoberta Contínua de Serviços em IoT Documento
-
Descrição Arquitetural da Provisão de QoS em Ambientes Genéricos de Processamento e Comunicação Documento
-
Desempenho de Sistemas Web Controlado por Ferramentas de Construção de Páginas Dinâmicas Documento
-
Desempenho de um Processo descrito por um fluxografo, sôbre um domínio integrável Documento
-
Desenvolvimento de Aplicações Sensíveis ao Contexto usando Sistemas Multi-Agentes Documento
-
Desenvolvimento de Bibliotecas Digitais de Learning Objects Utilizando Técnicas de Data Warehousing e Data Mining. Documento
-
Desenvolvimento de Groupware Componentizado com base no Modelo 3C de Colaboração Documento
-
Desenvolvimento de Software Consciente com Base em Requisitos Documento
-
Desenvolvimento de um ambiente de autoria para aplicações hipermídia Documento
-
Desenvolvimento e Avaliação de um Jogo Colaborativo para Estimular a Comunicação entre Crianças com Autismo Documento
-
Desenvolvimento e avaliação de jogos de computador para crianças com autismo Documento
-
Desenvolvimento, Implementação, Descrição Lógica e Documentação de um Sistema de Banco de Dados Documento
-
Design Rationale para processos de triplificação Documento
-
Design e Implementação de Agentes de Software Adaptativos Normativos Documento
-
Detail-preserving mesh denoising using adaptive patches Documento
-
Detector de assinaturas de gás em levantamentos sísmicos utilizando LSTM Documento
-
Detecção de Características Faciais usando FERNS Documento
-
Detecção de Lesões na Substância Branca do Cérebro em Imagens T1 e FLAIR Documento
-
Detecção de Paralelismo a partir da Semântica Denotacional e de Grafos de Dependência Documento
-
Detecção de Paralelismo a partir da Semântica Denotacional e de Grafos de Dependências Documento
-
Detecção de anomalias de código de relevância arquitetural em sistemas multilinguagem Documento
-
Detecção de anomalias nas métricas das monitorações de máquinas de um data center Documento
-
Detecção de características faciais utilizando FERNS Documento
-
Detecção estatística de anomalias de desempenho em sistemas baseados em middleware Documento
-
Detecção móvel e online de anomalia em múltiplos fluxos de dados: Uma abordagem baseada em processamento de eventos complexos para detecção de comportamento de condução. Documento
-
Determinação de Malhas de Falhas em Dados Sísmicos por Aprendizado Competitivo Documento
-
Difusão Seletiva em Inter-Redes IP Baseadas em Redes Ópticas Documento
-
Direct and Indirect Quotation Extraction for Portuguese Documento
-
Discussão e Implementação de um Formalismo para Definição de Tipos de Dados Documento
-
Distribuição de Carga em Sistemas Web Controlada por Ferramentas de Construção de Páginas Dinâmicas Documento
-
EDUCO - Modelando Conteúdo Educacional Documento
-
ENGENHARIA DE SOFTWARE PARA SOFTWARE LIVRE Documento
-
ENTROPY GUIDED FEATURE GENERATION FOR STRUCTURE LEARNING Documento
-
ESPECIFICACAO E IMPLEMENTACAO DE UM SISTEMA INTERATIVO PARA TRATAMENTO DE GRAMATICAS Documento
-
ESPEDI: Uma Ferramenta para Especificação de Sistemas Interativos Documento
-
ESTENDENDO A FERRAMENTA SAFE PARA JBOSS AOP Documento
-
ESTUDO E AVALIAÇÃO DE TÉCNICAS DE SEPARABILIDADE E DA OCLUSÃO EM SUPERFÍCIES MULTITOQUE Documento
-
EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS Documento
-
EXTRACTING RELIABLE INFORMATION FROM LARGE COLLECTIONS OF LEGAL DECISIONS Documento
-
EXTRAÇÃO DE ISOSUPERFÍCIES COM SUBDIVISÃO ADAPTATIVA DE MALHAS DE HEXAEDROS LEVEMENTE CÔNCAVOS Documento
-
EXTRAÇÃO DE MALHAS ADAPTATIVAS EM MULTI-RESOLUÇÃO A PARTIR DE VOLUMES, USANDO SIMPLIFICAÇÃO E REFINAMENTO Documento
-
Early Vulnerability Detection for Supporting Secure Programming Documento
-
Editor de Diagramas Dirigido por Metamodelos Documento
-
Edição Tridimensional de Fotografias Arquitetônicas Documento
-
Efficient Large Neighborhood Searches for the Traveling Salesman Problem with Pickup and Delivery Documento
-
Efficient methods for information extraction in news webpages. Documento
-
Eliminando as Redundâncias do Perfil NCL EDTV Documento
-
Em Busca de uma Linguagem para a Especificação dos Requisitos para o Projeto de Sistemas de Informação Apoiados em Banco de Dados Documento
-
Em busca de uma implementação eficiente de um Sistema de Gerência de Objetos Documento
-
Em definição ------------------------------------------------------------------------------------ Documento
-
Emotions in Plots with Non-Deterministic Planning for Interactive Storytelling Documento
-
Empirical Evaluation of Effort on Composing Design Models Documento
-
Empirical Evaluation of Effort on Composing Design Models Documento
-
End-User Configuration in Assistive Technologies ? A case study with a severely physically impaired user Documento
-
Engenharia Reversa em Modelos CAD Utilizando Descritores de Forma e M´aquina de Vetores de Suporte Documento
-
Engenharia de Estórias. Um estudo sobre a geração e narração automática de estórias. Documento
-
Engenharia de Requisitos Intencional: Um Método de Elicitação, Modelagem e Análise de Requisitos. Documento
-
Engineering of Self-Organizing Emergent Multi-Agent Systems: A Design Method and Architecture Documento
-
Enriching and Analysing Semantic Trajectories with Linked Open Data Documento
-
Entropy Guided Transformation Learning Documento
-
EnvironRC: Integrating collaboration and mobile communication to offshore engineering virtual reality applications Documento
-
Environment changes detection: A proactive system to monitor moving objects Documento
-
Escalonamento Flexível de Workflows com Restrições Temporais Documento
-
Escalonamento de tarefas divisíveis em redes estrela Documento
-
Especificacao de Servicos de Voz e Dados Integrados Em Uma Rede Local de Computadores. Documento
-
Especificacao e Implementacao de Um Servidor de Arquivos Para Redes Locais. Documento
-
Especificação Conceitual de Sistemas de Informação: Uma Estrutura Básica de Metodologia Documento
-
Especificação Declarativa e Implementação de Aplicações Hipermídia na Web Documento
-
Especificação Formal de Sistemas de Computação Documento
-
Especificação Formal de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita Documento
-
Especificação Semântica de Nova e seu Front-End Documento
-
Especificação de um Novo Protocolo de Comunicação Hipermídia com Qualidade de Serviço e Modularidade Funcional Documento
-
Especificação de um Protocolo de Comunicação Hipermídia com Qualidade de Serviço e Modularidade Funcional Documento
-
Especificação de um Sistema de Transferência Eletrônica de Fundos Documento
-
Especificação de um Sistema para Automação Bancária Documento
-
Especificação de uma Ferramenta para Avaliação de Algoritmos Distribuídos. Documento
-
Especificação do mapeamento de esquemas modulares de bancos de dados em estruturas físicas Documento
-
Esquemas Abstratos para Dedução Natural, Cálculo dos Sequentes e Lambda Cálculo Tipificado Documento
-
Estendendo o Luaproc: Suporte para aplicações em ambientes móveis. Documento
-
Estimativas de Atributos Volumétricos de Curvatura em Dados Sísmicos Documento
-
Estratégia Multi-Agente para Leilões Simultâneos de Bens Relacionados Documento
-
Estratégia de Reengenharia de Software Orientada a Domínios Documento
-
Estratégias Seqüenciais e Paralelas de GRASP com Reconexão por Caminhos para o Problema de Síntese de Redes a 2-Caminhos Documento
-
Estratégias de Balanceamento de Carga para Avaliação Paralela do BLAST com Bases de Dados Replicadas e Fragmentos Primários Documento
-
Estratégias de Negociação de Ativos Financeiros Utilizando Agendamentos por Intervalos Ponderados Documento
-
Estratégias de Paralelização da Meta-heurística GRASP Documento
-
Estratégias de Paralelização de Metaheurísticas em Ambientes de Memória Distribuída Documento
-
Estratégias de variação de parâmetros em procedimentos GRASP e aplicações Documento
-
Estratégias para a execução paralela de consultas em bancos de dados científicos distribuídos Documento
-
Estratégias para suporte à colaboração em sistemas presenciais para pessoas com Transtorno do Espectro Autista Documento
-
Estruturando e concretizando especificações para implementações Documento
-
Estruturas de Dados para Séries Temporais Documento
-
Estudo Comparativo de Estratégias de Classificação de Páginas Web. Documento
-
Estudo Comparativo entre Dois Métodos para Avaliar a Raiz Quadrada em Computadores Digitais Documento
-
Estudo Experimental de Algoritmos para a Otimização de Consultas Conjuntivas com Predicados Caros Documento
-
Estudo Experimental de Heurísticas para Otimização de Consultas Conjuntivas com Predicados Caros Documento
-
Estudo de Viabilidade para um Sistema de Animação Comportamental Documento
-
Estudo experimental de técnicas para otimização de carteiras Documento
-
Estudo sobre APIs de Linguagens de Script Documento
-
Estudos Experimentais sobre a Estabilidade do Método Adams-Moulton-Nordsieck com Variação de Passo Documento
-
Evoluindo o Catalogo de Transparência: o Estudo da Característica de Entendimento Documento
-
Evolução de Cenários Documento
-
Evolução de Cenários Através de um Mecanismo de Rastreamento Baseado em Transformações Documento
-
Exact Algorithms for Arc and Node Routing Problems Documento
-
Exact Algorithms for Node and Arc Routing Problems Documento
-
Exact algorithms for the capacitated vehicle routing problem Documento
-
Exames Virtuais Utilizando um Algoritmo de Ray Casting Acelerado Documento
-
Execução Flexível de Workflow (disponível em http://www.maxwell.lambda.ele.puc-rio.br/cgi-bin/db2www/PRG_0651.D2W/SHOW?Mat=&Sys=&Nr=&Fun=&CdLinPrg=en&Cont=7738:en) Documento
-
Execução Otimizada de Transações Financeiras: Um Estudo Empírico Documento
-
Execução Otimizada de Transações Financeiras: Um Estudo Empírico Documento
-
Experimental Statistical Analysis of MapReduce Joins Documento
-
Explorando aplicações que usam a geração de vértices em GPU Documento
-
Explorator - Modelo de Navegação em Dados RDF através da Manipulação Direta Documento
-
Explorator: uma ferramenta para exploração de dados RDF baseado em uma interface de manipulação direta. Documento
-
Exploring RDF Knowledge Bases through Serendipity Patterns Documento
-
Exploring ontology-based information through the progressive disclosure of visual answer to related queries. Documento
-
Exploring structured information retrieval for bug localization in C# software projects Documento
-
Exploring the Social Aspects of Design Decay Documento
-
Exploring the frontier of Combinatorial Optimization and Machine Learning: Applications to Vehicle Routing and Support Vector Machines Documento
-
Expressive Talking Heads - Um Estudo de Fala e Expressão Facial em Personagens Virtuais Documento
-
Expressive Talking Heads" - Um Estudo de Personagem Virtual com Fala e Expressão Facial Documento
-
Expressões Regulares: Síntese e Minimização do Autômato Finito Documento
-
Extensão Dinâmica de Agentes CORBA Documento
-
Extensão de Banco de Dados para Aplicaçòes OLAP Documento
-
Extensão de um Sistema de Integração de Repositórios de Objetos de Aprendizagem Visando a Personalização das Consultas com Enfoque em Acessibilidade Documento
-
Extracting and connecting plaintiff's legal claims and judicial provisions from Brazilian Court decisions, Documento
-
Extraindo Conteúdo Computacional de Provas Intuicionistas Documento
-
Extração de Conteúdo Computacional de Provas Intuicionistas Documento
-
Extração de Malha em Multi-resolução Adaptativa a partir de Volumes com Simplificação e Refinamento Documento
-
Extração de Primeiro Plano em Imagem HD com Fundos Variados. Documento
-
FEAF: Uma infraestrutura para análise da evolução das características de uma Linha de Produto de Software Documento
-
FINALIZADORES E CICLOS EM TABELAS FRACAS Documento
-
FIoT: An Agent-Based Framework for Self-Adaptive and Self-Organizing Internet of Things Applications Documento
-
FORMATAÇÃO E CONTROLE DE APRESENTAÇÕES HIPERMÍDIA COM MECANISMOS DE ADAPTAÇÃO TEMPORAL Documento
-
FRUSTUM CULLING HÍBRIDO UTILIZANDO CPU E GPU Documento
-
Facilidades de Bancos de Dados Relacionais Para Aplicações Não Convencionais Documento
-
Facilitando a Percepção em Ambientes Virtuais de Aprendizado através da Abordagem Groupware Documento
-
Falta Documento
-
Ferramentas para Modelagem Geométrica e Edição Gráfica Documento
-
Fidedignidade de Sistemas Multiagentes Abertos Governados por Leis Documento
-
Fidedignidade de Sistemas Multiagentes Abertos Governados por Leis (Dependability of Law-Governed Open Multi-Agent Systems) Documento
-
Fidedignidade em Sistemas Multi-Agentes Abertos: Uma Abordagem através de Contratos. Documento
-
Filtragem colaborativa aplicada à publicidade direcionada Documento
-
Flight Coordination Approaches of UAV Squads for WSN Data Collection Documento
-
Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo Documento
-
Formatação Temporal e Espacial No Sistema Hyperprop Documento
-
Formação de Grupos de Trabalho Utilizando Agentes de Software Documento
-
Formação de comboios veiculares dinâmicos: uma abordagem de auto-organização Documento
-
Framework para Projetos de Aplicações Hipermídia Documento
-
Framework para coordenação e mediação de Web Services modelados como Learning Objects para ambientes de aprendizado na Web Documento
-
Framework para integração de sistemas de bancos de dados heterogêneos Documento
-
Frustum Culling Híbrido Utilizando CPU e GPU, Ano de Obtenção Documento
-
G-Frameworks: Uma Abordagem para a Reutilização de Leis de Interação em Sistemas Multi-Agentes Abertos Documento
-
G-Frameworks: Uma Abordagem para a Reutilização de Leis de Interação em Sistemas Multiagentes Abertos Documento
-
GENERALIZAÇÃO DE GRAMÁTICAS DE DETERMINAÇÃO PARA CONSULTAS A BASES DE DADOS EM LINGUAGEM NATURAL Documento
-
GERACAO DE CODIGO OTIMO PARA EXPRESSOES ARITMETICAS Documento
-
GERAÇÃO AUTOMÁTICA DE EXEMPLOS DE USO A PARTIR DA DESCRIÇÃO TEXTUAL DE CASOS DE USO. Documento
-
GERAÇÃO DE INTERFACES RIA DIRIGIDA POR ONTOLOGIAS Documento
-
GERAÇÃO DE SOMBRAS EM TEMPO REAL PARA MODELOS CAD Documento
-
GERENCIAMENTO DE MOBILIDADE E TRATAMENTO DE DESCONEXÃO BASEADO EM SIP Documento
-
GINGA-MD: Uma Plataforma para Suporte à execução de Aplicações Hipermídia Multi-Dispositivo Baseada em NCL Documento
-
GLB: Uma Ferramenta para manipulação de objetos gráficos procedurais Documento
-
GLOBAL MOBILITY ARCHITECTURE Documento
-
GLOBAL-AWARE RECOMMENDATIONS FOR REPAIRING EXCEPTION HANDLING VIOLATIONS Documento
-
GRAFTEX - UM EDITOR DE TEXTOS Documento
-
GROUPLORE - Um Ambiente de apoio ao Compartilhamento de Conhecimentos Documento
-
GeMA, um novo framework para a prototipação, desenvolvimento e integração de simulações multifísicas e multiescalas em grupos multidisciplinares Documento
-
GenArch: Uma Ferramenta Baseada em Modelos para a Derivação de Produtos de Software Documento
-
Gerador Automatico de Linguagem Natura para um modelo abstrato de dados Documento
-
Gerador automático de reconhecedores de linguagens por matrizes de transição com particionamento Documento
-
Gerador de aplicações para consultas a bases RDF/RDFS. Documento
-
Geração Interativa de Enredos Documento
-
Geração Semiautomática de Função de Transferência para Realce de Fronteiras Baseada em Derivadas Médias Documento
-
Geração automática de suíte de teste para GUI a partir de
Rede de Petri Documento
-
Geração de Interfaces RIA Dirigida por Ontologias Documento
-
Geração de Malhas de Falhas em Dados Sísmicos por Aprendizado Competitivo Documento
-
Geração de Mapas de Profundidade Super-resolvidos a partir de Sensores de Baixo Custo e Imagens RGB Documento
-
Geração de Sombras em Tempo Real para Modelos CAD Documento
-
Geração de malhas de elementos finitos para domínios arbitrários Documento
-
Geração e execução automática de scripts de teste para aplicações web a partir de casos de uso direcionados por comportamento. Documento
-
Geração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão Documento
-
Gerenciamento de Memória para Comparação de Biossequências Documento
-
Gerenciamento de Mobilidade e Tratamento de Desconexão baseado em SIP para Sistemas Publish/Subscribe Documento
-
Gerenciamento de Redes de Computadores baseado em Web Documento
-
Gerenciamento de recursos dirigido por modelos - Adaptabilidade e Interoperabilidade no suporte a QoS fim-a-fim Documento
-
Gerência de Configuração para ambientes de desenvolvimento de Software Cooperativos Documento
-
Gerência de Privacidade para Aplicações Sensíveis ao Contexto em Redes Móveis Documento
-
Gerência de projetos de sistemas de informação Documento
-
Gerência do desenvolvimento de software Documento
-
Gestão da manutenção de software: Um estudo de caso Documento
-
Gestão de Pessoas por Competências no Ambiente AulaNet Documento
-
Gestão do Conhecimento no Gerenciamento de Serviços de TI: Uso e Avaliação Documento
-
Gestão do Conhecimento no Gerenciamento de Serviços de TI: Uso e Avaliação Documento
-
Ginga-NCL para Dispositivos Portáteis. Documento
-
Governança de Sistemas Multi-Agentes Abertos com Fidedignidade Documento
-
Gramáticas Transformacionais como Modelo de Linguagens Naturais Documento
-
GridFS - Um Servidor de Arquivos para Grades e Ambientes Distribuídos Heterogêneos Documento
-
Grouplore, ambiente de apoio à troca de conhecimento Documento
-
HEROS - Um Sistema de Bancos de Dados Heterogêneos: Integrando Esquemas Documento
-
Habilitando Anotações de Dados Autônomos: Uma Abordagem de Aprendizado por Reforço com Humano no Loop Documento
-
Heuristics for data point selection for labeling in Semi-Supervised and Active Learning contexts. Documento
-
Heurísticas Híbridas para o Problema da Filogenia Documento
-
Heurísticas Multifluxo para Roteamento de Produtos em Redes Dutoviárias Documento
-
Heurísticas de Busca Local para o Problema da Árvore de Steiner com Prêmios Documento
-
Heurísticas para Identificação de Requisitos de Data Warehouses a partir de Indicadores de Desempenho Documento
-
Heurísticas para Identificação de Requisitos para Data Warehouse a Partir de Indicadores de Desempenho Documento
-
Heurísticas para o problema das p-medianas conectadas Documento
-
Heurísticas para o problema de seqüenciamento de DNA por hibridação Documento
-
History-Sensitive Recovery of Features in Code of Evolving Program Families Documento
-
Hybrid Cloud Rendering for Industrial-Plant CAD Models Documento
-
Hybrid Genetic Algorithm for the Minimum Sum-of-Squares Clustering Problem Documento
-
IDENTIFICATION AND REFACTORING OF DESIGN PROBLEMS IN SOFTWARE SYSTEMS Documento
-
IEngine ? Uma interface abstrata para motores de jogos 3D Documento
-
IMPLEMENTAÇÃO DE PROTOCOLO NFS/RPC/XDR EM AMBIENTE PC Documento
-
IMPOSTORES COM RELEVO Documento
-
IMPROVING THE QUALITY OF THE USER EXPERIENCE BY QUERY ANSWER MODIFICATION Documento
-
INFERÊNCIA DE TUNING ATRAVÉS DA ONDBTUNING Documento
-
INTEGRANDO COMUNICAÇÃO ASSÍNCRONA E GERÊNCIA COOPERATIVA DE TAREFAS EM AMBIENTES DE COMPUTAÇÃO DISTRIBUÍDA Documento
-
INTEGRAÇÃO SEMÂNTICA DE DADOS ATRAVÉS DE FEDERAÇÃO DE ONTOLOGIAS Documento
-
INTERACT: UM MODELO DE INTERAÇÃO PARA EDITORES GRÁFICOS Documento
-
INTRODUCAO A PROVA AUTOMATICA DE TEOREMAS Documento
-
Identificação de Estilos de Arquiteturas: Um Processo Dirigido por Conhecimento Documento
-
Identifying Microservices Candidates in Legacy Code Documento
-
Implantação de Componentes de Software Distribuídos Multi-Linguagem e Multi-Plataforma Documento
-
Implementacao de Prototipo de Ferramenta Para Projeto/ Reprojeto de Bancos de Dados. Documento
-
Implementação de um Dispositivo de Rastreamento Óptico com 6 Graus de Liberdade para Interação com Aplicações de Realidade Virtual Documento
-
Implementação de um Protocolo N2 X 25 Multi-Enlace num Cobra-540 Documento
-
Impostores com Relevos Documento
-
In-Edito: interface Inteligente para um Editor de Texto Documento
-
Indexação Automática por Semântica Imprecisa: Validação de um Modelo Documento
-
Indução e Seleção Incrementais de Atributos no Aprendizado Supervisionado Documento
-
Infra-estruturas de chaves públicas - caminhos de certificação e repositórios distribuídos Documento
-
Infraestrutura para Provadores Interativos de Teoremas na Web. Documento
-
Integracao de "Legacy Systems" a Sistemas de Bancos de Dados Heterogêneos Documento
-
Integrando Metaeurísticas com Resolvedores MIP para o Capacitated Vehicle Routing Problem Documento
-
Integrando Objetos Vídeo em SGBDs Relacional-Objeto Documento
-
Integrando Repositórios de Sistemas de Bibliotecas Digitais e Sistemas de Gerência de Aprendizagem Documento
-
Integrando Requisitos não Funcionais à Modelagem Orientada a Objetos Documento
-
Integração de Documentos MPEG-4 ao Sistema HyperProp Documento
-
Integração de Documentos SMIL ao Sistema HyperProp e Desenvolvimento de Ferramentas para Exibição de Objetos com Relacionamentos de Sincronização Documento
-
Integração de Ferramentas Gráficas e Declarativas na Autoria de Arquiteturas Modeladas através de Grafos Compostos Documento
-
Integração de Ontologia com Modelagem de Processo: Um método para facilitar a elicitação de requisitos Documento
-
Integração de Repositórios de Sistems de Bibliotecas Digitais e de Sistemas de Aprendizagem Documento
-
Integração de um Dispositivo Óptico de Rastreamento a uma Ferramenta de Realidade Virtual Documento
-
Integração de um Sistema de Submissão Batch com um Ambiente de Computação em Nuvem Documento
-
Integração entre a Linguagem Lua e o `Common Language Runtime' Documento
-
Interactive Directional Occlusion Shading and Black Oil Reservoir Visualization using Ray Casting Documento
-
Interactive image-based rendering for virtual view synthesis from depth images, Documento
-
Interface de Barra Microprogramada para a Rede Local REDEPUC Documento
-
Interfaces Assistidas para Cegos utilizando Dispositivos Reativos e Transformadas de Distância Documento
-
Interfaces Assistidas para Deficientes Visuais utilizando Dispositivos Reativos e Transformadas de Distância Documento
-
Interfaces Cooperativas para Sistemas de Informação: Um Estudo de Caso Documento
-
Interoperabilidade Semântica na Web:Uma Estratégia para o Alinhamento Taxonômico de Ontologias Documento
-
Interpretador de comandos estatísticos Documento
-
Introduzindo Variabilidade no Desenvolvimento de Sistemas Multi-Agentes Documento
-
Introdução a uma teoria geral de problemas Documento
-
Inversão Sísmica utilizando técnicas de Aprendizado de Máquina Documento
-
Investigating the integration of user values with design rationale and its effects on HCI design artifacts Documento
-
Investigação de novos critérios para inserção de pontos em métodos de simplificação de superfícies Documento
-
IssueNet: um framework para avaliação colaborativa de tarefas Documento
-
JAAF: IMPLEMENTANDO AGENTES AUTO-ADAPTATIVOS ORIENTADOS A SERVIÇOS Documento
-
JAT4BDI: Uma nova abordagem para testes de agentes deliberativos. Documento
-
JSAN: Um Framework para Simulação de Agentes Normativos Documento
-
Jogo de Ações Documento
-
Keep Doing What I Just Did: Automating Smartphones by Demonstration Documento
-
Keepfast - Um ambiente para avaliação de desempenho de páginas web, no lado cliente, dirigido por modelos Documento
-
Keyword Search over Federated RDF Graphs by Exploring their Schemas Documento
-
Kuaba: Uma Abordagem para Representação de Design Rationale para o Reuso de Designs baseados em Modelo Documento
-
LDC MEDIATOR: A MEDIATOR FOR LINKED DATA CUBES Documento
-
LER: Anotação e classificação automática de entidades e relações Documento
-
LINX: Um Ambiente Integrado de Interface para Sistemas de Informação Baseados em Conhecimento Documento
-
LOGICA APLICADA E VERIFICACAO DE PROGRAMAS Documento
-
LSHSIM: A LOCALITY SENSITIVE HASHING BASED METHOD FOR MULTIPLE-POINT GEOSTATISTICS Documento
-
LUASPACE: UM AMBIENTE PARA DESENVOLVIMENTO DE APLICAÇÕES BASEADAS EM COMPONENTES Documento
-
LUNATIK: SCRIPTING DE KERNEL DE SISTEMA OPERACIONAL COM LUA Documento
-
LawML: Uma Linguagem para a Modelagem de Leis de Interação em Sistemas Multi-Agentes Abertos Documento
-
Lean Communication-Centered Design: Um processo leve de design centrado na comunicação Documento
-
LindaX: Uma Linguagem de Descrição de Sistemas de Comunicação Adaptáveis Documento
-
Load Disaggregation in a Brazilian Industrial Dataset Using Invertible Networks and Variational Autoencoders Documento
-
Local SLAM ? Localização de Câmera e Mapeamento Local de Ambientes Simultâneos Documento
-
LuaCharm: Um modelo híbrido utilizando linguagens de script para programação paralela Documento
-
LuaMan - Uma Ferramenta para o Desenvolvimento de Aplicações de Gerenciamento Extensíveis Documento
-
LuaPS - Lua Publish-Subscribe Documento
-
LuaSpace: Um Ambiente para Reconfiguração Dinâmica de Aplicações Baseadas em Componentes Documento
-
Lógica Modal de Primeira-Ordem para Raciocinar sobre Jogos Documento
-
Lógica de reescrita como um framework semântico para semântica operacional estrutural modular Documento
-
MAPEAMENTO DA DISTRIBUIÇÃO POPULACIONAL ATRAVÉS DA DETECÇÃO DE ÁREAS EDIFICADAS EM IMAGENS DE REGIÕES HETEROGÊNEAS DO GOOGLE EARTH USANDO DEEP LEARNING Documento
-
MAS-School e ASYNC: Um Método em um Framework para Construção de Agentes Inteligentes Documento
-
MASSES (Sistema de Multi-Agente para Simulação de Negociação de Ações). Documento
-
MCAD Shape Grammar: Modelagem procedimental em modelos CAD massivos industriais Documento
-
METODOS CICLICOS TIPOS ADAMS ESTAVEIS COM MUDANCA DO PASSO DE INTEGRACAO. Documento
-
METODOS CICLOS COM EXTENSA REGIAO DE ESTABILIDADE. Documento
-
MINISNAP - DEFINICAO FORMAL E SUGESTOES PARA SUA IMPLEMENTACAO Documento
-
MMAD - Um Modelo para Modelagem em Sistemas de Apoio à Decisão Documento
-
MODELAGEM CONFIGURÁVEL DE SUBDIVISÕES PLANARES HIERÁRQUICAS Documento
-
MODELAGEM DA CALÇADA DE COPACABANA Documento
-
MODELAGEM E GERAÇÃO DE INTERFACES DIRIGIDAS POR REGRAS Documento
-
MODELAGEM E IMPLEMENTAÇÃO DE APLICAÇÕES HIPERMÍDIA GOVERNADAS POR ONTOLOGIAS PARA A WEB SEMÂNTICA Documento
-
MODELOS CONCEITUAIS PARA PROVENIÊNCIA Documento
-
MOLDES - UMA LINGUAGEM PARA A MODELAGEM DE OBJETOS DE INTERACAO Documento
-
MOTION SYNTHESIS FOR NON-HUMANOID VIRTUAL CHARACTERS Documento
-
MTD: Manipulador de teorias definicionais - uma aplicação à topologia Documento
-
MUSANET: A MULTITIER PLATFORM FOR DEVELOPING SMART-CITY APPLICATIONS Documento
-
Manas: uma ferramenta epistêmica de apoio ao projeto da comunicação em sistemas colaborativos Documento
-
Mantendo código-fonte em XML - rumo ao hiperfonte. Documento
-
Manutenibilidade e Reusabilidade de Software Orientado a Aspectos: Um Framework de Avaliação Documento
-
Manutenção de Dependências de Inclusão em Bancos de Dados Relacionais Documento
-
Many-core fragmentation simulation. Documento
-
Mapas de Disparidade utilizando Cortes de Grafo e Multi-Resolução Documento
-
Mapeamento Automático de Horizontes e Falhas em Dados. Sísmicos 3D baseado no algoritmo de Gás Neural Evolutivo Documento
-
Mapeamento de Eventos Sísmicos baseado em Algoritmos de Agrupamento de Dados Documento
-
Mapeamento de Simulação de Fratura de Fragmentação Coesiva para GPUs Documento
-
Matchmaking ? Uma infraestrutura para alinhamento de esquemas Documento
-
Materialização e Manutenção de Ligações owl:sameAs Documento
-
Materialized sameAs Link Maintenance with Views Documento
-
Matheuristics for Variants of the Dominating Set Problem Documento
-
McCloud Service Framework: Arcabouço para desenvolvimento de serviços baseados na Simulação de Monte Carlo na Cloud. Documento
-
Melhoria de tempo na execução de workflows científicos distribuídos baseada na localização informada de arquivos Documento
-
MetaCom-G*: Especificação da comunicação entre os membros de um grupo Documento
-
Metacommunication and Appropriation in the Design of the Interactive Internet of Things Documento
-
Metacomunicação Designer-Usuário na Interação Humano-Computador: design e construção do sistema de ajuda Documento
-
Metamorfose de Curvas Poligonais Usando Evolução Convexa Documento
-
Metamorfose de Sons Documento
-
Method for Automatic Detection of Stamps in Scanned Documents Using Deep Learning and Synthetic Data Generation by Instance Augmentation Documento
-
Metodologia para elaboração de proposta de desenvolvimento de sistema de informação automatizado Documento
-
Middleware para Integração de Dados Heterogêneos Baseado em Composição de Frameworks Documento
-
Mineração de Dados voltada para Recomendação no Âmbito de Marketing de Relacionamento Documento
-
Mining Information in Natural Language to Support Requirements Elicitation Documento
-
Mira - Um ambiente para Interfaces dirigidas por modelos para aplicações REST Documento
-
MoLIC Segunda Edição: revisão de uma linguagem para modelar a interação humano-computador Documento
-
Model Driven Questionnaires based on a Domain Specific Language Documento
-
Modelagem Analitica de Desempenho de Aplicações Distribuídas em Arquiteturas paralelas de Tempo-Real Documento
-
Modelagem Conceitual de Sistemas ? Prototipo de Ambiente Baseado em Aplicativos Comerciais ? Documento
-
Modelagem Dinâmica de Produto Baseada na História de Design Documento
-
Modelagem Procedural de Elementos da Natureza Documento
-
Modelagem Semântica de Aplicações na WWW Documento
-
Modelagem Taxonômica e Desenvolvimento de Sistemas Geradores de Editores Documento
-
Modelagem da Dinâmica de Sistemas Interativos Documento
-
Modelagem da Interacao com o Usuario em Aplicacoes Hipermidia Documento
-
Modelagem da Interação com o Usuário em Aplicações Hipermídia (Modeling User Interaction in Hypermedia Applications)) Documento
-
Modelagem de Agentes Computacionais Baseada na Doutrina Militar Documento
-
Modelagem de Applicações Paralelas em Multiprocessadores Fracamente Acoplados Documento
-
Modelagem de Cascas Com Interseções Paramétricas Documento
-
Modelagem de Composição de Objetos de Aprendizagem. Documento
-
Modelagem de Contextos Dinâmicos em Simulação de Gestão de Projetos de Software Baseada em MultiAgentes Documento
-
Modelagem de eventos de trânsito com base em clipping de grandes massas de dados da Web. Documento
-
Modelagem de restrições de esquemas mediados Documento
-
Modelagem e Especificação da Navegação Em Aplicações Hipermídia, Documento
-
Modelagem e Implementação OO de Sistemas Multi-Agentes Documento
-
Modelagem e Simulação Numérica Paralela do Escoamento de Contaminantes Radioativos em Meios Porosos Naturalmente Fraturados Documento
-
Modelagem esparsa e supertraços para deconvolução e inversão Sísmicas Documento
-
Modelo Ciente de Contexto para Tomada de Decisão no Planejamento Tático Multi-especialidade em um Grande Incidente Documento
-
Modelo Fisico e Operacoes Primitivas Para Um Banco de Dados Relacional. Documento
-
Modelo de Controle de Acesso no Projeto de Aplicações na Web Semântica. Documento
-
Modelo de um Analisador Conceitual para Ensinar a Linguagem de Programação P-Básico Documento
-
Modelo para gerenciamento de dados em um ambiente de comando e controle Documento
-
Modelo para o Desenvolvimento de Ferramentas para Gerência de Redes combinando SNMP, HTTP, HTML e Java Documento
-
Modelos de Concorrência e Coordenação para o Desenvolvimento de Aplicações Orientadas a Eventos em Lua Documento
-
Modelos de Iluminação: Um Estudo para a Associação de Interfaces a Usuários Documento
-
Modelos de concorrência e sandboxes aplicados a servidores HTTP em Lua Documento
-
Modelos de fatoração matricial para recomendação de videos Documento
-
Modelos e Algoritmos para Análise de Congestionamento e Determinação de Paradas na Logística Ferroviária Documento
-
Modelos e Algoritmos para o Problema da Árvore Geradora de Custo Mínimo com Restrição de Diâmetro. Documento
-
Modelos e Algoritmos para o Team Orienteering Problem Documento
-
Modelos e Formalismos para a Engenharia Semiótica de Interfaces de Usuário Documento
-
Monitorando o Ambiente de Execução de Componentes de Software Distribuídos. Documento
-
Multi-resolução para a Visualização de Reservatório Naturais de Petróleo. Documento
-
Máquinas de Estados Hierárquicas em Jogos Eletrônicos Documento
-
Máquinas de Inferência para Sistemas Baseados em Conhecimento Documento
-
Método dos Tranformadores de Dados Documento
-
Métodos de Elementos Finitos Otimizados para o Sistema de Stokes Associado a Problemas de Viscoelasticidade Documento
-
Métodos de desenvolvimento de algoritmos: especificação formal, análise comparativa e de complexidade Documento
-
Métodos para Aceleração do non-local means Algoritmo de Redução de Ruído Documento
-
Métodos para Resolução de Problemas Documento
-
Métricas de Segurança de Software Documento
-
NCE: Um algoritmo para extração de conteúdo em páginas web de notícias Documento
-
NCE: Um algoritmo para extração de conteúdo de páginas de notícias Documento
-
NCL-Inspector: Uma ferramenta para inspeção de aplicações NCL Documento
-
NCL: Uma Linguagem Declarativa para Especificação de Documentos Hipermídia com Sincronização Temporal e Espacial Documento
-
NCLITE: EXPLORANDO O CONCEITO DE CENAS INTERATIVAS EM FERRAMENTAS DE AUTORIA PARA TV DIGITAL Documento
-
Notificação e Controle de Versões para o Suporte à Autoria Cooperativa no Sistema HyperProp Documento
-
Novas heurísticas e uma abordagem por programação inteira para um problema de correspondência inexata de grafos. Documento
-
Novel Node Importance Measures to Improve Keyword Search over RDF Graphs Documento
-
O ALGORITMO BOOSTING AT START E SUAS APLICACOES Documento
-
O Algoritmo Homofônico Canônico para Cifragem e Compressão Simultâneas Documento
-
O Ambiente Web Banco de Dados: Funcionalidades e Arquiteturas de Integração Documento
-
O Perfil NCL-DR e o Middleware Ginga para Receptores do Sistema Brasileiro de Rádio Digital Documento
-
O Perfil da Comunicação Homem-Máquina em Linguagem Natural para Sistemas com Bases de Conhecimento Documento
-
O Processo de Desenvolvimento de Software à Luz da Visão Estruturalista das Teorias da Ciência Natural Documento
-
O SAFO e a Visão do Usuário Documento
-
O USO DE LIVE STREAMS PARA COMPARTILHAR CONHECIMENTO: UM DIAGNÓSTICO A PARTIR DA EXPERIÊNCIA DA EMBRAPA GADO DE LEITE Documento
-
O USO DE TABELAS DE DECISÃO PARA A AUTOMAÇÃO DA GERAÇÃO E DA EXECUÇÃO DE CASOS DE TESTE Documento
-
O Uso de Casos na Reflexão em Ação em Atividades de Design de IHC Documento
-
O desenvolvimento de um compilador Miranda usando um método orientado a objetos Documento
-
O método de Ritz em Elementos Finitos para Problemas de Energia Potencial 2D Documento
-
O2 ASSIST: Uma Interface Interativa para Evolução de Esquemas O2 Documento
-
O2CONSULT: Apoiando Usuários do Sistema O2 na formulação de consultas Documento
-
O=M : Uma Linguagem Orientada a Objetos para Desenvolvimento Rigoroso de Programas Documento
-
ON THE CONNECTIVITY OF ENTITY PAIRS IN KNOWLEDGE BASES Documento
-
ON THE RELATION BETWEEN REFACTORING AND CRITICAL INTERNAL ATTRIBUTES WHEN EVOLVING SOFTWARE FEATURES Documento
-
ORFEO: Programação Distribuída Orientada a Eventos com Funções e Continuações como Valores de Primeira Classe Documento
-
Objetos e Agentes: Uma Abordagem Orientada a Aspectos Documento
-
Obstáculos ao ensino dos métodos de avaliação da Engenharia Semiótica. Documento
-
Oclusão ambiente usando traçado de cone com voxelização da cena Documento
-
On A Proof Theory for Description Logics Documento
-
On Gamifying an Existing Software System: Method, Conceptual Model and Lessons Learned Documento
-
On routing problems with splittable demands Documento
-
On the Completeness of Composite Code Refactorings for Beneficial Smell Removal Documento
-
On the Detection of Architecturally-Relevant Code Anomalies in Software Systems Documento
-
On the Min Distance Superset Problem Documento
-
On the Modularity of Aspect-Oriented Design: A Concern-Driven Measurement Approach Documento
-
On the Permutation Flow Shop Scheduling Problem Documento
-
On the Relationship between Feature Dependencies and Change Propagation Documento
-
On the Role of Composition Properties on Program Stability Documento
-
On the Simultaneous Minimization of Worst Testing Cost and Expected Testing Cost with Decision Trees Documento
-
Operations over Ligthweight Ontologies Documento
-
Operações Booleanas na Modelagem por Pontos Documento
-
Opportunistic routing towards mobile sink nodes in Bluetooth Mesh networks Documento
-
Optimization Under Uncertainty for Asset Allocation Documento
-
Optimized Compilation of a Dynamic Language to a Managed Runtime Environment. Documento
-
Optimizing the Pallene Compiler Documento
-
Opus: um otimizador de consultas para SGBDs não convencionais Documento
-
Otimizacao do Metodo de Ray-Tracing no Sistema ASAP Documento
-
Otimização Inversa via Online Learning Documento
-
Otimização de Código Em Máquinas Superescalares Documento
-
Otimização de Código Objeto Documento
-
Otimização de Mensagens e Balanceamento de Jogos Multi-Jogador Documento
-
Otimização em esportes: programação de tabelas e os problemas da classificação Documento
-
Outer-Tuning: Framework para apoiar a sintonia fina de banco de dados Documento
-
PAR (Peço, Ajudo, Recebo): Um jogo colaborativo em mesa multi-toque para apoiar a interação social de usuários com autismo. Documento
-
PETROLEUM SUPPLY PLANNING: MODELS, REFORMULATIONS AND ALGORITHMS Documento
-
PLANEJAMENTO TÁTICO NO TRANSPORTE RODOVIÁRIO DE CARGAS FRACIONADAS: MODELOS E ALGORITMOS Documento
-
PREDICTING TRENDS IN THE STOCK MARKET Documento
-
PREDITORES: EXPERIENCIAS PARA OBTENCAO DE MELHORES FORMULAS. Documento
-
PREDIÇÃO DO COMPORTAMENTO DO MERCADO FINANCEIRO UTILIZANDO NOTÍCIAS EM PORTUGUÊS Documento
-
PRISMA: Utilização de paradigmas Complementares para a Aquisição de Software Documento
-
PROCEDIMENTOS DE DECISÃO PARA DEPENDÊNCIAS DE DADOS Documento
-
PROJETO DE BANCO DE DADOS ATRAVES DE INTEGRACAO DE VISOES Documento
-
PROTOCOLOS DE TRANSFERENCIA DE ARQUIVOS Documento
-
PUCLOGO - Um Ambiente Integrado de Ferramentas voltado para a Educacao Documento
-
Paralelismo com Programação Lógica com Partição Binária Documento
-
Paralelização autonômica de metaheurísticas em ambientes de grid Documento
-
Parallel Algorithms for Multicore Game Engines Documento
-
Parametric search for variants of nested resource allocation problems Documento
-
Part-of-Speech Tagging para Português Documento
-
Patient-Buddy-Build: Acompanhamento remoto móvel customizável de pacientes com doenças crônicas. Documento
-
Pattern-Driven Maintenance: A Method to Prevent Unhandled Latent Exceptions in Web Applications Documento
-
Perseguição Automática de Sistemas de Nuvens Documento
-
Personalização da Navegação na Internet utilizando OOHDM Documento
-
Personalização de Visões sobre Documentos Hipe Documento
-
Planejador de Respostas Explicativas Baseado em uma Biblioteca de Esquemas RST Documento
-
Planejamento da Utilização Casual: Projeto e Utilização de um Laboratório para Estudos Cognitivos da Interface Homem-Máquina Documento
-
Planejamento e Controle de Projetos de Software Documento
-
Plano de desenvolvimento de projetos de sistemas automatizados Documento
-
Plataformas para Jogos de Guerra com Computação Móvel Documento
-
Plot - Um Sistema Especialista para Auxílio no Daignóstico de Testes Projetivos Documento
-
PoliFacets: um modelo de design da metacomunicação de documentos ativos para apoiar o ensino e aprendizado de programação Documento
-
Políticas Eficientes para Revisitação de Páginas Web Documento
-
Prioritization of Code Anomalies Based on Architecture Sensitiveness Documento
-
Problema de Steiner em Grafos: Algoritmos Primais, Duais e Exatos. Documento
-
Process-Oriented Modeling and Simulation for Serious Games. Documento
-
Processador de Gramaticas SLRk Documento
-
Processo Certificavel de Desenvolvimento de Software Documento
-
Processos de Negocio e Hipertextos: uma proposta para elicitacao de requisitos Documento
-
Profiling Memory in Lua Documento
-
Programação com Tipos Abstratod de Dados Documento
-
Programação de Produção em uma Usina Siderúrgica Documento
-
Programação via Interface Documento
-
Projetando Aplicações para TVDI através de Storyboards Interativos Documento
-
Projeto Logico de uma Calculadora. Especificacao e Simulacao de um Microprocessador de 4 Bits e Implementacao das Operacoes mais Importantes da Calculadora. Documento
-
Projeto da Interação Humano-Computador Baseado em Modelos Fundamentados na Engenharia Semiótica: Construção de um Modelo de Interação Documento
-
Projeto de Aplicações Hipermídia com Suporte de Banco de Dados Relacionais Documento
-
Projeto de Jogos Educativos 2D de Aventura usando Lua Documento
-
Projeto de um emulador para sistema baseado em microprocessador de teminais IBM voltados para entrada remota de serviços (RJE) Documento
-
Projeto de um sistema operacional de tempo real para aplicações de controle de processos Documento
-
Projeto e Análise de Algoritmos de Classificação Externa baseados na Estratégia de Quicksort Documento
-
Projeto e Avaliação de Desempenho de Redes Locais Isoladas e Interligadas Documento
-
Projeto e Construção de Banco de Dados: Especificação de uma Sublinguagem de Manipulação de Dados Documento
-
Projeto e Desenvolvimento de Protocolos para Redes Locais de Computadores Documento
-
Projeto e Implementação de Interfaces Coletivas em um Middleware orientado a Componentes de Software Documento
-
Projeto e Implementação de um Tradutor Léxico para a Linguagem MODULA 2 Documento
-
Projeto e implementação de um compilador portatil para a linguagem EDISON voltado para microcomputadores Documento
-
Promoting Conversational APIs: A Conceptual Framework and a Method for API Design Documento
-
Propagação de som em ambientes acústicos virtuais bidimensionais Documento
-
Proposing two new handling interaction techniques for 3D virtual objects using the Myo armband. Documento
-
Proposta de Uma Arquitetura Transacional Distribuída Documento
-
Propostas de Roteamento para Redes Veiculares (VANETs) em Ambientes Urbanos Documento
-
Proteção de processos mutuamente suspeitos Documento
-
Prototipação Virtual Em Modelagem de Sólidos Distribuída Documento
-
Protótipo Rápido para Gerencia de Informações em Organizações Complexas : um estudo de caso Documento
-
Protótipo para Especificação de Processos baseado em CSP: Um Enfoque em Orientação a Objetos Documento
-
Prova Automática de Teoremas Documento
-
Prova Automática de Teoremas em Dedução Natural : Uma Abordagem Abstrata Documento
-
Prova Automática de Teoremas: Uma abordagem para melhorar a legibilidade de provas baseada em Dedução Natural Documento
-
Provas em Grafos: Implicações em Teoria da Prova e em Complexidade Computacional Documento
-
Proveniência para Workflows de Bioinformática Documento
-
Proxies Inteligentes - Monitoração e Adaptação Automáticas Documento
-
Proximity-based Understanding of Conditionals Documento
-
Pré-Busca de Conteúdo em Apresentações Multimídia Documento
-
QEEF - Uma Máquina de Execução de Consultas Extensível Documento
-
QEEF-G: Execução Paralela Adaptativa de Consultas Iterativas Documento
-
QUADLOD: Uma Estrutura para a Visualização Interativa de Terrenos Documento
-
Quest - Um Sistema de Avaliação Educacional Para A Web Documento
-
Quotation Extraction for Portuguese Documento
-
RACIOCINIO AUTOMATICO EM SITUACOES DE CONHECIMENTO INCOMPLETO E INCONSISTENTE Documento
-
RADIORAY- Sistema híbrido para Geração de Imagens Realistas combinando o Método da Radiosidade com o Ray Tracing Documento
-
RAY TRACING DYNAMIC SCENES ON THE GPU Documento
-
RECOVERY ORIENTED SOFTWARE Documento
-
RELATO DE EXPERIÊNCIA DA IMPLANTAÇÃO DE BOAS PRÁTICAS DE ENGENHARIA DE SOFTWARE EM UM AMBIENTE HETEROGÊNEO Documento
-
REMALHAMENTO DE SUPERFÍCIES COM BORDAS BASEADO NO DIAGRAMA DE VORONOI CENTROIDAL Documento
-
REQUISITOS DE UM CENTRO DE INFORMAÇÕES ESTATÍSTICAS Documento
-
RETOOL - Uma Lógica de Ações para Sistemas de Transição Temporizados Documento
-
RETOOL: uma Lógica de Ações para Sistemas de Transição Temporizados (DISSERTAÇÃO APROVADA COM LOUVOR) Documento
-
REVISITANDO CO-ROTINAS Documento
-
RUP-3C-Groupware: um processo de desenvolvimento de groupware baseado no Modelo 3C de Colaboração Documento
-
RXQEE ? Uma Máquina de Execução de Consultas em um Ambiente de Integração de Dados Relacionais e XML Documento
-
Raciocinando por Jogos Semânticos Documento
-
Raciocínio Evidencial e Aquisicão Automática de Conhecimento em Sistemas Especialistas: Uma Abordagem Bayesiana Documento
-
Raycasting Intervalar de Superfícies Implícitas com Aritmética Afim Documento
-
Rdxel: um conjunto de ferramentas para manipulação de dados estatísticos em RDF por meio de planilhas Documento
-
Re-engenharia do software C&L para a plataforma Lua-Kepler utilizando princípios de transparência Documento
-
Reconhecedor de Objetos em Vídeos Digitais para Aplicações Interativas Documento
-
Reconhecimente Automático de Palavras Chaves Documento
-
Reconhecimento de Posturas Humanas Preservando a Privacidade: Um estudo de caso usando um sensor térmico de baixa resolução Documento
-
Reconhecimento de emoções através de imagens em tempo real com o uso de ASM e SVM Documento
-
Reconstrução de cenas a partir de images através de escultura do espaço por refinamento adaptativo Documento
-
Recriação Automática de Índices em um SGBD Relacional Documento
-
Recursividade em FORTRAN Documento
-
Redes Convolucionais aplicadas à Classificação do Ruído Sísmico Documento
-
Redes Sociais Dirigidas ao Contexto das Coisas Documento
-
Redes de Comunicação para sistemas de Tempo Real com Aplicação Naval Documento
-
Reengenharia de Sistemas Autoadaptativos Guiada pelo Requisito Não Funcional de Consciência de Software Documento
-
Reengenharia de aplicações científicas para inclusão de conceitos de workflow Documento
-
Registro de Sísmica 3D a Dados de Poços Documento
-
Regras Ativas em Banco de Dados Documento
-
Regulando a Interação de Agentes em Sistemas Abertos - uma Abordagem de Leis Documento
-
Relato de experiência da implantação de boas práticads de Engenharia de Software em um ambiente heterogênio Documento
-
Relaxamento Adaptativo da Sincronização Através do Uso de Métodos de Aprendizagem Supervisionada Documento
-
Relações Espaciais em Docuemntos Hipermídia Documento
-
Relações Temporais em Sistemas Hipermídia Documento
-
Relações em Linguagens de Autoria Hipermídia: Aumentando Reuso e Expressividade Documento
-
Reliability of Wii Balance Board and Microsoft Kinect for capturing posturographic information during balance tests Documento
-
Remoção de Superfícies Encobertas no Cálculo de Área de Pintura em Modelos CAD Documento
-
Renderização de Pele Humana em Tempo Real para Jogos Documento
-
Renderização de objetos sintéticos em tempo real utilizando mapas de iluminação HDR Documento
-
Renderização em Tempo Real Utilizando Mapas de Iluminação em Alta Precisão Documento
-
Reorganização e Compressão de Dados Sísmicos Documento
-
Representação de Clichês de Conversação para Cooperação Documento
-
Representações para Modelagem Computacional da Discussão Estruturada em Rede: Um Estudo de Caso com a Ferramenta de fórum do Ambiente Aulanet Documento
-
Reputação de Agentes Aplicada ao Mercado Simulado de Capitais Documento
-
Requisitos Não Funcionais: Da Elicitação ao Modelo Conceitual Documento
-
Requisitos para a integração de elementos do discurso e do diálogo às interfaces de linguagem natural orientada por menus Documento
-
Reservoir classification using well-testing pressure derivative data Documento
-
Resolução de Correferência utilizando árvoreslatentes com representação contextua Documento
-
Resolução de sistemas de equações lineares de grande porte em clusters multi-GPU utilizando o método do gradiente conjugado em OpenCL. Documento
-
Resolução por Elementos Finitos Otimizados do Problema de Autovalores Associado à Equaçao de Helmholtz 2-D Documento
-
Respostas cooperativas baseadas na geração e reconhecimento de planos Documento
-
Reuse-Oriented Approach for Incremental and Systematic Development of Intentional Ubiquitous Applications Documento
-
Reutilização de Processos Documento
-
Roteamento Multiponto em Redes ATM Homogêneas Documento
-
Roteamento e Atribuição de Comprimentos de Onda: Uma abordagem por Coloração de Partições Documento
-
Rumo à manipulação direta espacial de objetos virtuais 3D usando rastreamento baseado em visão e no reconhecimento de gestos de mãos sem marcadores. Documento
-
SAB - Um Sistema de Autoria Brasileiro Documento
-
SDiff: Uma ferramenta para comparação de documentos com base nas suas estruturas sintáticas Documento
-
SEGMENTAÇÃO DE VÍDEO NO DOMÍNIO COMPRIMIDO BASEADA NA HISTÓRIA DA COMPACTAÇÃO Documento
-
SHDM .Net - um Framework e Ambiente de Desenvolvimento dirigido por Ontologias para Aplicações Hipermídia. Documento
-
SIGBOP: Sistema para a Gerência de Bancos de Dados Orientados a Objetos em Ambiente Prolog. Documento
-
SISTEMA PARA CONSULTAS SOBRE BANCO DE DADOS RELACIONAL BASEADO EM PALAVRAS-CHAVE Documento
-
SISTEMAS DE INFORMAÇÕES INTEGRAVEIS Documento
-
SUPORTE AO REGISTRO E USO DE DECISÕES DE PROJETOS DE APLICAÇÕES PARA A WEB Documento
-
Safe Record Sharing in Dynamic Programming Languages Documento
-
Safe System-level Concurrency on Resource-Constrained Nodes with Céu Documento
-
Scripting customized components for Wireless Sensor Networks Documento
-
Secure Distributed Ledgers to support IoT technologies data Documento
-
Segmentação Semântica de Vagas de Emprego: Estudo Comparativo de Algoritmos Clássicos de Aprendizado de Máquina, Documento
-
Segmentação de Dados Sísmicos via Hyperstack para Visualização Documento
-
Segmentação de Imagens Baseada em Grafos de Superpixel Documento
-
Self-Configurable IoT Embedded Agents controlled by Neural Networks Documento
-
Semantic Reasoning for the Internet of Things Documento
-
Semantic graph attention networks and tensor decompositions for computer vision and computer graphics Documento
-
Semantic-based Repository of Agent Components Documento
-
Serviço de Tolerância a Falhas para o Ambiente Corba Documento
-
Serviço sem Conexão para Tráfego Garantido em Inter-Redes IP sobre ATM Documento
-
Serviços, Processos e Máquinas: Um estudo de metodologias para realocação de processos nas maquinas Documento
-
Ship routing and speed optimization with heterogeneous fuel consumption profiles Documento
-
Simulacao Dinamica de Corpos Rigidos com Restricoes de nao Interpenetracao Documento
-
Simulação de Grãos em GPU. Documento
-
Simulação de partículas baseada em GPU com tratamento de colisão Documento
-
Simulação de um Sistema de Perguntas e Respostas Documento
-
Simulação do Escoamento de Água e Óleo em Meios Documento
-
Simulação do Escoamento de Água e Óleo em Meios Porosos. Documento
-
Simulação e Estratégias de Negociação de Ações com Agentes de Software. Documento
-
Simulação e Visualização de Oceano em Tempo Real Utilizando a GPU Documento
-
Simulação eficiente de fluidos no espaço paramétrico de malhas estruturadas tridimensionais Documento
-
Simulação em Bancos de Dados Documento
-
Sincronismo Na Modelagem e Execução de Apresentações de Documentos Multimídia Documento
-
Sintese de imagens realistas por rastreamento de raios: (Ray Tracing) Documento
-
Sintonia Fina Baseada em Ontologia: o caso de visões materializadas Documento
-
Sintonia fina automática com índices parciais Documento
-
Sintonia fina de Sistemas de Gerenciamento de Banco de Dados em ambientes virtualizados. Documento
-
SisApC2: Uma estratégia baseada em sistemas computacionais móveis para apoiar atividades de Comando e Controle Documento
-
SisApC²:uma estratégia baseada em sistemas computacionais móveis para apoiar atividades de Comando e Controle Documento
-
Sistema Machris - Sistema de Edição e Manutenção de Documentos Documento
-
Sistema de Apoio à Decisão:um estudo de caso Documento
-
Sistema de Bilbioteca Para Orientação a Objetos Documento
-
Sistema de Comunicação de Dados para Interligação de Microcomputadores Documento
-
Sistema de Controle de Versões para Edição Cooperativa de Vídeo MPEG-2 Documento
-
Sistema de Recomendação de segundo nível Documento
-
Sistema de Transmissão Automática de Mensagens Documento
-
Sistema de recomendação para apoiar a construção de gráficos com dados estatísticos Documento
-
Sistema eficiente de otimização topológica estrutural utilizando o método de malha densa de barras Documento
-
Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras-Chave Documento
-
Sistema remoto de monitoramento de ondas Documento
-
Sistemas Especialistas de Segunda Geração - Algorítmos, Métodos e Técnicas Documento
-
Sistemas Especialistas em Legislação - um estudo de caso Documento
-
Sistemas Reativos: Uma Abordagem Geométrica Documento
-
Sistemas de Bancos de Dados Heterogêneos: Modelo de Execução da Gerência de Transações Documento
-
Sistemas de Gerência de Interface de Usuário Documento
-
Sistemas de Informação Geográfica Adaptativos Baseados em Modelos Documento
-
Sistematização da Aprendizagem de Programação em Grupo Documento
-
Sketch-based modeling of natural objects with emphasis in salt domes Documento
-
Sobre a Engenharia Semiótica da interação com Sistemas de Monitoração Documento
-
Soluções para a Travessia de Firewalls/NAT usando CORBA Documento
-
SpADD: Uma Extensão do Modelo Add Aplicada ao Projeto de Layout Espacial Documento
-
StdTrip: An a priori design process for publishing Linked Data Documento
-
Storytelling based on audience social interaction Documento
-
Strategies to Understand the Connectivity of Entity Pairs in Knowledge Bases Documento
-
Structured Learning with Incremental Feature Induction and Selection for Portuguese Dependency Parsing Documento
-
Subconjunto de Linguagem Natural Para Consulta A Bancos de Dados. Documento
-
Suporte Computacional a Evolução de Frameworks Documento
-
Suporte Semântico à publicação de conteúdo jornalístico na Web Documento
-
Suporte a Componentes Compostos para o Middleware SCS Documento
-
Suporte ao Desenvolvimento de Aplicações SPMD Documento
-
Suporte ao Registro e Uso de decisões de Projeto de Aplicações para a Web Documento
-
Suporte ao controle e à apresentação de objetos de mídia tridimensionais em NCL Documento
-
Suporte de linguagens de programação para migração heterogênea de computações. Documento
-
Suporte topológico em paralelo para malhas de elementos finitos em análises dinâmicas de fratura e fragmentação Documento
-
Suporte à Adaptação de Conteúdo Sensível a Contexto para Dispositivos Móveis em Sistemas Publish/Subscribe Documento
-
Suporte à Coordenação em Sistemas Colaborativos: uma pesquisa-ação com aprendizes e mediadores engajados em fóruns de discussão Documento
-
Suporte à Engenharia de Requisitos com Base em Ações Concretas Documento
-
Suporte à Evolução Arquitetural de Sistemas Distribuídos Baseados em Componentes de Software Documento
-
Suporte à coordenação em Sistemas Colaborativos: uma pesquisa-ação com aprendizes e mediadores atuando em fóruns de discussão de um curso a distância Documento
-
Supporting Heterogeneous Configuration Knowledge of Software Product Lines Documento
-
Supporting Heterogeneous Configuration Knowledge of Software Product Lines Documento
-
Supporting Instructors in Analyzing Student Logs from Virtual Learning Environments Documento
-
Supporting Multimedia Applications in Stereoscopic and Depth-based 3D Video Systems Documento
-
Swell - Um Ambiente para Seleção de Web-Services Semânticos Documento
-
Synthesis of Code Anomalies: Revealing Design Problems in the Source Code Documento
-
Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic Documento
-
TEAM: Uma Arquitetura para Gerência de e-Workflows Documento
-
TOPSIM: A PLUGIN-BASED FRAMEWORK FOR LARGE-SCALE NUMERICAL ANALYSIS Documento
-
TREG: Un juego de entrenamiento en Ingeniería de Requisitos Documento
-
Tche - um ambiente visual Lua Documento
-
Tecnologia e Organização numa Empresa de Informática Documento
-
Teoria de Modelos para Heurísticas Baseada em Topoi Documento
-
Test-Driven Maintenance: Uma abordagem para a manutenção de Sistemas Legados Documento
-
Teste Automatizado para Sistemas Multi-Agentes Abertos Implementados com o Middleware M-Law Documento
-
Teste Funcional Baseado em Modelos Gramaticais Documento
-
Texturas com Relevo Utilizando Iluminação por Pixel e Processamento Paralelo. Documento
-
The Pallene Programming Language Documento
-
The implementation of Records in Pallene Documento
-
Theoretical and experimental results in information-theoretic clustering Documento
-
TkVIX - Um Toolkit para Construção de Interfaces Gráficas em Lua Documento
-
To collaborate or not to collaborate? Improving the identification of code smells Documento
-
Towards a well-interlinked Web through matching and interlinking approaches Documento
-
Towards customizing smell detection and refactorings Documento
-
Towards direct spatial manipulation of virtual 3D objects using vision-based tracking and gesture recognition of unmarked hands Documento
-
Tradução de esquemas Entidades-Relacionamento estendido para esquemas relacionais Documento
-
Transições Animadas em Aplicações Web Baseadas em Modelos Documento
-
Tratamento Eficiente de Visibilidade Através de Árvores de Volumes. Envolventes. Documento
-
Tratamento de Excecoes Sensivel ao Contexto Documento
-
Tratamento de Exceções em Ambientes Modulares Documento
-
Tratamento e Compressão baseada em Wavelets para dados adquiridos por sensores Documento
-
Traçado de Linhas de Fluxo em Modelos de Reservatórios Naturais de Petróleo baseados em Métodos Numéricos Adaptativos Documento
-
Traçados e Limites da ciência da informação Documento
-
Tvs - Um Sistema de Videoconferência Documento
-
Typed Lua: An Optional Type System for Lua Documento
-
Typing Dynamic Languages ? a Review Documento
-
TÉCNICAS PARA PROGRAMAÇÃO INTEIRA E APLICAÇÕES EM ROTEAMENTO DE VEÍCULOS Documento
-
Técnicas Procedimentais de Texturização Documento
-
Técnicas de Controle para Computação Autonômica Documento
-
Técnicas de Navegação 3D Usando o Cubo de Distâncias Documento
-
Técnicas para o Uso do Cálculo de Hoare em PCC Documento
-
Técnicas para programação inteira e aplicações em problemas de roteamento de veiculos Documento
-
UISKEI: Sketching the User Interface and Its Behavior Documento
-
UISKEI: User Interface Sketching and Evaluation Instrument Documento
-
UM ALGORITMO PARA VISUALIZAÇÃO DE TERRENOS COM OBJETOS Documento
-
UM ESTUDO COMPARATIVO DE REPRESENTAÇÕES DE MULTI-RESOLUÇÃO PARA LINHAS POLIGONAIS Documento
-
UM MÉTODO PARA A COMPRESSÃO DE DADOS VOLUMÉTRICOS BASEADO NA TRANSFORMADA DO COSSENO LOCAL Documento
-
UM TRADUTOR DE PROLOG PARA PASCAL Documento
-
UM TRATAMENTO GERAL DOS METODOS DE EXTRAPOLACAO PARA O LIMITE Documento
-
UMA ANALISE CRÍTICA SOBRE O TRATAMENTO COGNITIVO DE DESIGN EM SISTEMAS DE CAD Documento
-
UMA CARACTERIZACAO UNIFORME PARA REPRESENTACAO DE SISTEMAS FORMAS: LOGICA MATEMATICA SUBJACENTE A TEORIA DA COMPUTACAO. Documento
-
UMA DESCRICAO FORMAL DOS PROCESSOS DE ESPECIFICAO E IMPLEMENTACAO DE T.A.D. Documento
-
UMA ESTRUTURA DE ARMAZENAMENTO DE OBJETOS ESPECIAIS Documento
-
UMA ESTRUTURA DE DADOS TOPOLOGICA PARA REPRESENTACAO DE SUPERFICIES Documento
-
UMA EXTENSAO DA LINGUAGEM PL/I PARA PROCESSAMENTO DE GRAFOS Documento
-
UMA FERRAMENTA PARA PLANEJAMENTO DE CAPACIDADE DE SISTEMAS DE COMPUTACAO Documento
-
UMA GENERALIZAÇÃO DO MÉTODO WARNIER/ORR PARA SUA INTEGRAÇÃO COM O ENFOQUE DA ANÁLISE DA ESSÊNCIA DE SISTEMAS Documento
-
USING SCRIPTS TO IMPROVE WEB ACCESSIBILITY Documento
-
USO DA MOLIC WOZ COMO FERRAMENTA DE APOIO A AVALIAÇÃO FORMATIVA BASEADA EM DIAGRAMA DE INTERAÇÃO MOLIC Documento
-
Um Algoritmo de Geração de Colunas e Cortes para o Problema de Roteamento de Veículos Documento
-
Um Ambiente Flexível para a Implantação e Execução de Componentes de Software Documento
-
Um Ambiente Genérico de Dedução Automática Baseado em Resolução Documento
-
Um Ambiente de Gerência de Aplicações CORBA Documento
-
Um Ambiente de Objetos para Geociências Documento
-
Um Ambiente de Suporte à Adaptação Dinâmica de Aplicações Distribuídas Documento
-
Um Ambiente de Suporte à Autoria Cooperativa de Documentos Hipermídia Documento
-
Um Ambiente para Integração de Dados Bibliográficos baseado em Mediadores Documento
-
Um Compilador Para CLU: Modelo de Implementação Documento
-
Um Editor de Voz para Sistemas Multimídia Documento
-
Um Enfoque Baseado em Modelos para o Design Orientado a Aspectos Documento
-
Um Enfoque Baseado em Modelos para o Design Orientados a Aspectos Documento
-
Um Estudo Sobre Contratos em Componentes de Software Documento
-
Um Estudo Sobre Leilões de Demanda Unitária Documento
-
Um Estudo Sobre Técnicas de Navegação e Seleção em Ambientes Virtuais Usando o Microsoft Kinect Documento
-
Um Estudo Sobre Técnicas de Navegação e Seleção em Ambientes Virtuais Usando o Microsoft Kinect® Documento
-
Um Estudo Sobre a Função do Administrador de Dados Documento
-
Um Estudo de Algoritmos para Classificação Automática Multi-Rótulo de Textos Utilizando Naive-bayes Documento
-
Um Estudo de Compactação de Dados para Biossequências Documento
-
Um Estudo de Técnicas de Memória Virtual Documento
-
Um Estudo de Técnicas para a Adaptação de Componentes de Software em Java Documento
-
Um Estudo de Árvores Envolventes para Descarte no Processo de Restituição de Modelos Industriais Complexos Documento
-
Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista Documento
-
Um Estudo sobre Avaliação da Execução do BLAST em Ambientes Distribuídos. Documento
-
Um Estudo sobre Interoperabilidade entre Linguagens Orientadas a Objetos Documento
-
Um Estudo sobre Middlewares Adaptáveis Documento
-
Um Estudo sobre a Instrumentação da Máquina Virtual de Lua para Análise de Desempenho Documento
-
Um Estudo sobre o Desenvolvimento Orientado a Serviços Documento
-
Um Estudo sobre um Algoritmo para Visualização de Terrenos Documento
-
Um Framework Baseado em Padrões para Construção de Sistemas Multi-Agentes Auto-Organizáveis Documento
-
Um Framework Multi-Agentes para Busca e Flexibilização de Algoritmos de Classificação de Documentos Documento
-
Um Framework Orientado a Aspectos para Mobilidade de Agentes de Software Documento
-
Um Framework Orientado a Aspectos para Monitoramento e Análise de Processos de Negócio Documento
-
Um Framework baseado em padrões para a contrução de sistemas multi-agentes auto-organizáveis Documento
-
Um Framework do tipo Middleware para Sistemas Multi-Agentes na Internet Documento
-
Um Framework e uma Arquitetura para Implementação de Aplicações Hipermídia na Web Documento
-
Um Framework para Acompanhamento de Pacientes utilizando Agentes de Software Documento
-
Um Framework para Adaptação Dinâmica de Sistemas Baseados em Componentes Distribuídos Documento
-
Um Framework para Análise e Verificação de Programas Documento
-
Um Framework para Construção de Interfaces para Manipulação Direta de Conjuntos Documento
-
Um Framework para Provisão de QoS em Ambientes Genéricos de Processamento e Comunicação Documento
-
Um Framework para Provisão de QoS em Redes Móveis Sem Fio Documento
-
Um Framework para Provisão de QoS em Sistemas Operacionais Documento
-
Um Framework para Simulação da Negociação de Serviços em Redes Sem Fio de Nova Geração Documento
-
Um Framework para Simulação de Redes Móveis Ad Hoc Documento
-
Um Framework para a Construção de Mediadores Oferecendo Eliminação de Duplicatas. Documento
-
Um Framework para a Representação e Análise de Processos de Software. Documento
-
Um Framework para o Cálculo de Reputações de Agentes de Software Baseado em Testemunhos Documento
-
Um Framework para o cálculo de reputações de agentes de software Documento
-
Um Gerente de Memória para o Sistema Operacional de Disco Documento
-
Um Instrumento de Análise Semiótica para Linguagens Visuais de Interfaces Documento
-
Um Interpretador para Regras de produção Documento
-
Um Mecanismo de Governança para Sistemas Multi-Agentes Abertos Baseado em Testemunhos Documento
-
Um Mecanismo de Tolerância a Falhas para Sistemas de Gerenciamento de Workflow Documento
-
Um Meta Modelo para Aplicações e Serviços de Comunicação Adaptáveis com Qualidade de Serviço Documento
-
Um Metaclassificador para Encontrar as K-Classes mais Relevantes Documento
-
Um Metamodelo para Configuração de Espaços de Trabalho Virtuais Colaborativos: Aplicação no Gerenciamento de Desastres de Estruturas Offshore de Óleo e Gás Documento
-
Um Middleware Declarativo para Sistemas de TV Digital Interativa Documento
-
Um Middleware de Inteligência Artificial para Jogos Digitais Documento
-
Um Middleware e Aplicativo para Apresentação Colaborativa para Dispositivos Móveis Documento
-
Um Middleware e Aplicativo para Apresentações Colaborativas para Dispositivos Móveis Documento
-
Um Modelo Alternativo para Programação Concorrente em Lua Documento
-
Um Modelo Categórico para Traduções entre Linguagens de Programação Documento
-
Um Modelo Espaço-Temporal para a Previsão de Velocidade Média em Estradas Documento
-
Um Modelo Hierárquico para Detecção de Regiões Regulatórias em Sequências de DNA Documento
-
Um Modelo Orientado A Objetos Para A Geracao Automatica de Compiladores Documento
-
Um Modelo Semiótico dos Processos de Comunicação Relacionados à Atividade de Extensão à Aplicação por Usuários Finais Documento
-
Um Modelo Semiótico para Programação por Usuários Finais Documento
-
Um Modelo de Aprendizado para Jogos em Computadores Documento
-
Um Modelo de Componentes de Software com Suporte a Múltiplas Versões Documento
-
Um Modelo de Composição Dinâmica entre Sistemas de Componentes
de Software Documento
-
Um Modelo de Computação para Circuitos de Objetos Documento
-
Um Modelo de Concorreência para o Ambiente 2GOOD/DDL Documento
-
Um Modelo de Design para Computação Distribuída Documento
-
Um Modelo de Objetos para um Sistema de Gerência de Objetos em Ambientes de Desenvolvimento de Sistemas Interativos Documento
-
Um Modelo de Operações para aplicações na web semântica Documento
-
Um Modelo de Programação Multilinguagem para Aplicações Geograficamente Distribuídas Documento
-
Um Modelo de Sistema Cooperativo Baseado na Modificação de Solicitações de Consulta e de Atualização Documento
-
Um Modelo de Suporte ao Design Baseado no Rationale Documento
-
Um Modelo de Suporte ao Design Baseado no Rationale: Relacionando Espaco de Problema ao Espaco de Solucao no Design Documento
-
Um Modelo de bloqueio multigranular para RDF Documento
-
Um Modelo e um Framework de Implementação para Processamento de Conjuntos Documento
-
Um Modelo para Avaliação da Qualidade de Especificações Documento
-
Um Modelo para Avaliação de Aprendizagem no Uso de Ferramentas Síncronas em Ensino Mediado pela WEB Documento
-
Um Modelo para Descrever e Negociar Modificações em Sistemas Web Documento
-
Um Modelo para Mercados Virtuais Documento
-
Um Modelo para Visualização Estereoscópica utilizando Webcams Documento
-
Um Modelo para a Especificação de Cenários de Interação Documento
-
Um Método Baseado em Mineração de Grafos para Segmentação e Contagem de Clusters de Máximos Locais em Imagens Digitais Documento
-
Um Método Otimizado de Renderização Fotorealista com Distribuição Estatística e Seleção Automática de Técnicas Documento
-
Um Método de Avaliação para Interfaces Baseadas em Mapas Documento
-
Um Método de Redução Cíclica para a Solução da Equação de Poisson Documento
-
Um Novo Método de Minimização de Tabelas Binárias Documento
-
Um Processador de Consultas sobre uma Relação Documento
-
Um Processo Baseado em MDA para a Especialização de Mecanismos de Persistência Documento
-
Um Processo Controlável de Desenvolvimento de Software Focado na Gestão da Qualidade em Pequenos Projetos Documento
-
Um Processo de Gerência de Estratégia de Rastreabilidade: Um Caso em Ambiente Oracle Documento
-
Um Processo para Recuperação de Requisitos a partir de Especificações Estruturadas Documento
-
Um Processo para a Construção de Geradores de Artefatos Documento
-
Um Protocolo Sensível ao Contexto para Adaptação Coordenada de Serviços de Comunicação em Redes sem Fio. Documento
-
Um Protocolo para Descoberta e Seleção de Recursos em Grades Móveis Ad hoc Documento
-
Um Prototipador e Gerador de Interfaces Gráficas por Manipulação Direta: Um Modelo Baseado em Eventos Documento
-
Um Serviço para Auxiliar Atividades de Colaboração Espontânea Documento
-
Um Serviço para Inferência de Localização de Dispositivos Móveis Baseado em Redes IEEE 802.11 Documento
-
Um Sistema Híbrido de Diagnóstico e Recomendação para Sistemas Multi-Agentes Documento
-
Um Sistema Multi-Agentes para Monitoramento e Aquisição em Tempo Real Documento
-
Um Sistema de Apoio à Decisão para Controle Acadêmico Documento
-
Um Sistema de Arquivos para um Sistema Operacional de Controle de Processos Documento
-
Um Sistema de Computação Interredes par Utilização em um ambiente Educacional Documento
-
Um Sistema de Depuração para a Linguagem de Extensão LUA Documento
-
Um Sistema de Geração de Expressões Faciais Dinâmicas em Animações Faciais 3D com Processamento de Fala Documento
-
Um Sistema de Interpretação de Diálogos Gráficos Documento
-
Um Sistema de Recomendação para Tratamento de Exceções Documento
-
Um Sistema de Tipos Orientado por Objetos, incluindo Persistência Documento
-
Um Sistema para Geração, Interação e Visualização 3D de Historias para TV Interativa Documento
-
Um agente conversacional pergunta-resposta com recomendações baseadas em uma ontologia de domínio Documento
-
Um algoritmo Lagrangeano para construção de códigos de prefixo com restrição de comprimento Documento
-
Um ambiente de suporte para uma linguagem de modelagem de sistemas multi-agentes Documento
-
Um ambiente para apoio ao Trabalho em Grupo na WWW Documento
-
Um estudo comparativo de sistemas de ensino por computador Documento
-
Um estudo comparativo de técnicas de mapeamento de textura Documento
-
Um estudo de SGBDs baseados em Agentes Documento
-
Um estudo de compactacao de biossequencias Documento
-
Um estudo de identificação de fraudadores em mercados eletrônicos através da computação humana. Documento
-
Um estudo de recomendadores baseados em conteúdo e redes sociais Documento
-
Um estudo de uso de segmentação de objetos para a aplicação de técnicas de Video Inpainting Documento
-
Um estudo em manipulação simbólica de expressões algébricas Documento
-
Um estudo sobre a captura de objetos em movimento com múltiplas câmeras RGB-D para efeitos especiais Documento
-
Um estudo sobre a viabilidade e efetividade da reserva de recursos no nível do usuário Documento
-
Um estudo sobre indices secundarios em sistemas de banco de dados Documento
-
Um estudo sobre ordenação em arquivos parcialmente ordenados Documento
-
Um estudo sobre reserva de recursos computacionais no nível do usuário Documento
-
Um filtro para arcos em Árvores de Dependência Documento
-
Um framework de Aplicações para a Web Semântica Documento
-
Um framework para a automação de testes com linguagens de especificação configuráveis. Documento
-
Um framework para a construção de interfaces para manipulação direta de conjuntos Documento
-
Um framework para construção de vocabulário e sua aplicação ao problema de seqüenciamento de carros Documento
-
Um framework para o uso colaborativo de dispositivos móveis como ferramenta de controle remoto de aplicações científicas Documento
-
Um framework para simulacao de microbacias como serious game Documento
-
Um mecanismo de seleção de componentes para o middleware Kaluana usando a noção de contratos de reconfiguração Documento
-
Um metodo sistematico de projeto de estrutura de banco de dados Documento
-
Um middleware baseado em componentes para Android com suporte à adaptação dinâmica Documento
-
Um middleware baseado em componentes para adaptação dinâmica na plataforma Android Documento
-
Um modelo categórico para tradução entre linguagens de programação Documento
-
Um modelo de indexação automática de seqüências de imagens baseado em uma sintaxe espacial 2D Documento
-
Um modelo de programação para RSSF com suporte à reconfiguração dinâmica de aplicações. Documento
-
Um modelo de transações para integração de SGBD a um ambiente de computação móvel Documento
-
Um modelo para avaliação de apredizagem no uso de ferramentas síncronas em ensino mediado pela Web Documento
-
Um modelo para cobertura de notícias na web Documento
-
Um método e um ambiente para o desenvolvimento de aplicações na Web Semântica Documento
-
Um método para detecção em tempo real de objetos em vídeos de alta definição. Documento
-
Um método para estruturação e análise de modelos de sistemas multi-agentes baseado em ontologias. Documento
-
Um novo algoritmo branch-and-cut para o problema de influência de menor custo generalizado em redes Documento
-
Um olhar crítico sobre o projeto de interfaces tangíveis baseado na Engenharia Semiótica Documento
-
Um provador interativo de teoremas Documento
-
Um serviço de Middleware para atuação genérica e remota de dispositivos na Internet das Coisas Móveis Documento
-
Um serviço de captura e acesso para espaços ativos. Documento
-
Um simulador de micromáquinas: Requisitos, Especificação, Projeto e Implementação Documento
-
Um sistema de cache preditivo para o processamento em tempo-real de grandes volumes de dados gráficos. Documento
-
Um sistema de modelagem 3D de coluna vertebral baseado em imagens de raios-x Documento
-
Um sistema de modelagem 3D de coluna vertebral baseado em radiografias digitais Documento
-
Um sistema heurístico para a prova automática de teoremas em extensões da álgebra booleana de classes Documento
-
Um sistema híbrido para rastreamento em aplicações de realidade aumentada Documento
-
Um subsistema de Manipulação de Dados para um Sistema de Gerencia de Banco de Dados Documento
-
Uma API para Exergames Móveis com eventos centrados em microlocalização baseada em BLE Fingerprinting Documento
-
Uma Abordagem Eficiente para Reconfiguração Coordenada em Sistemas Distribuídos de Processamento de Data Streams Documento
-
Uma Abordagem Experimental sobre a Compressão de Provas em Dedução Natural Minimal Implicacional Documento
-
Uma Abordagem Não-Intrusiva para a Manutenção Automática do Projeto Físico de Bancos de Dados Documento
-
Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Frameworks Documento
-
Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Sistemas Multi-Agentes Documento
-
Uma Abordagem Quantitativa para Avaliação de Software Orientado a Aspectos Documento
-
Uma Abordagem Quantitativa para Desenvolvimento de Software Orientado a Aspectos Documento
-
Uma Abordagem Sensível à História para Detecção de Anomalias de Código Documento
-
Uma Abordagem Sistemática para a Instanciação de Frameworks Orientados a Objetos Documento
-
Uma Abordagem de Desenvolvimento de Groupware Baseada em Linha de Produto de Software e Modelo 3C de Colaboração Documento
-
Uma Abordagem de Desenvolvimento de Groupware Baseada em Linha de Produto de Software e Modelo 3C de Colaboração. Documento
-
Uma Abordagem de Teste Baseado em Modelo para Sistemas Normativos Autônomos Documento
-
Uma Abordagem online para Comparação de Junções Paralelas Documento
-
Uma Abordagem para Modelar, Armazenar e Acessar Sequências Biológicas Documento
-
Uma Abordagem para Transparência em Processos Organizacionais Utilizando Aspectos Documento
-
Uma Abordagem para a Avaliação de Processos de Desenvolvimento de Software Baseada em Risco e Conformidade Documento
-
Uma Abordagem para a Evolução Transparente em Repositórios de Medição de Software: o Sistema Clairvoyant Documento
-
Uma Abstração de Alto Nível para Programação do Processador Gráfico Documento
-
Uma Análise da Eficácia de Assertivas Executáveis como Observadora de Falhas em Software Documento
-
Uma Análise de Práticas do SCRUM em Projetos distribuídos Documento
-
Uma Arquitetura Aberta para Sistemas Hipermídia Documento
-
Uma Arquitetura Abstrata de Domínio para o Desenvolvimento de Heurísticas de Busca Local com uma Aplicação ao Problema da Filogenia Documento
-
Uma Arquitetura Adaptável para Provisão de QoS na Internet Documento
-
Uma Arquitetura Distribuída para a Construção de Aplicações de Gerência de Rede Documento
-
Uma Arquitetura Flexível para Serviços de Replicação de Bases Distribuídas Heterogêneas Documento
-
Uma Arquitetura Flexível para Serviços de Replicação de Bases Heterogêneas Documento
-
Uma Arquitetura Orientada a Objetos para a Integração das Facilidades de Concorrência, Transação e Persistência Documento
-
Uma Arquitetura de Database Marketing utilizando HEROS - um SGBDH Documento
-
Uma Arquitetura de Serviços de Acesso a Dados Estruturados em Aplicações Científicas Documento
-
Uma Arquitetura de Software para Apoio ao Desenvolvimento de Sistemas de Diagnóstico Médicos por Imagem Documento
-
Uma Arquitetura de Software para Catalogação Automática de Dados Geográficos Documento
-
Uma Arquitetura para Aplicações Dinâmicas NCL Baseadas em Famílias de Documentos Documento
-
Uma Arquitetura para Associação de Interfaces a Usuários Documento
-
Uma Arquitetura para Catálogos de Objetos Baseados em Ontologias Documento
-
Uma Arquitetura para Inferência de Atividades de Usuário de Computação Móvel. Documento
-
Uma Arquitetura para Provisão de QoS na Internet Documento
-
Uma Arquitetura para Sistemas Multi-Agentes Baseada em Espaços de Tuplas Reflexivos Documento
-
Uma Arquitetura para a Coordenação e a Composição de Artefatos de Software Documento
-
Uma Arquitetura para o Desenvolvimento de Interfaces Gráficas Baseadas em Grafos Documento
-
Uma Avaliação Empírica de um Ambiente Favorável para o Desenvolvimento Dirigido por Testes. Documento
-
Uma Avaliação de Filtros 2D para Remoção de Ruído Speckle em Exames de Ultrassom. Documento
-
Uma Avaliação do Uso de Linguagens Dinâmicas no Desenvolvimento de Middleware: Um Estudo de Caso da Implementação de um ORB na Linguagem Lua. Documento
-
Uma Biblioteca de Componentes De Software para Simuladores De Radar Documento
-
Uma Biblioteca para Balanceamento de Carga em Ambientes Distribuídos Documento
-
Uma Especificação de Máquina de Registradores para Java Documento
-
Uma Especificação de Máquina de Registradores para Java Documento
-
Uma Estratégia Baseada em Simulação Para Validação de Modelos em i* Documento
-
Uma Estratégia Orientada a Aspectos para Modelagem de Requisitos Documento
-
Uma Ferramenta Multimidia de Auxilio ao Treinamento da Fala de Deficientes Auditivos Documento
-
Uma Ferramenta de Telepresença de Baixo Custo usando Oculus Rift: Desenvolvimento e Avaliação num Cenário de Videoconferência Documento
-
Uma Ferramenta para Programação Literária Modular Documento
-
Uma Ferramenta para reconstrução da sequência de interações entre componentes de um sistema distribuído Documento
-
Uma Heurística Híbrida de Melhoria para o Problema de Bin Packing e sua Aplicação ao Problema de Escalonamento de Tarefas Documento
-
Uma Implementação do Serviço WMS sobre a biblioteca TerraLib Documento
-
Uma Infra-Estrutura para Matchmaking Baseado em Ontologias Documento
-
Uma Infra-Estrutura para a Execução Distribuída de Componentes de Software. Documento
-
Uma Linguagem de Modelagem para Sistemas Baseados em Agentes. Documento
-
Uma Linguagem de Modelagem para Sistemas Multi-Agentes baseada em um Framework Conceitual para Agentes e Objetos Documento
-
Uma Linha de Produto de Sistemas baseados em Agentes para Gerenciamento de Projetos de Software Documento
-
Uma Linha de Produto de Sistemas de Gerenciamento de Projetos de Software baseados em Agentes. Documento
-
Uma Plataforma na Nuvem para Armazenamento de Dados Georreferenciados de Mobilidade Urbana Documento
-
Uma Proposta de Arquitetura para Comparação de Junções Paralelas Documento
-
Uma Sistemática Baseada em Data Warehousing para apoio ao Governo Eletrônico Documento
-
Uma Solução Eficiente para Subdivisão de Malhas Triangulares Documento
-
Uma abordagem baseada em SPH para animação interativa de águas rasas em jogos. Documento
-
Uma abordagem baseada no aprendizado de máquina interativo e interação natural para apoio à reabilitação física Documento
-
Uma abordagem flexível para o modelo de concorrência em estágios. Documento
-
Uma abordagem geral para quantificadores em dedução natural Documento
-
Uma abordagem heurística uni-objetivo para calibragem em meta-alinhadores de ontologias Documento
-
Uma abordagem para o problema de conectividade em plataformas multilaterais de IoT Documento
-
Uma abstração de alto nível para programação do processador gráfico Documento
-
Uma abstração para programação paralela: suporte para o desenvolvimento de aplicações Documento
-
Uma análise da classificação de litologias utilizando SVM, MLP e métodos Ensemble Documento
-
Uma arquitetura alternativa para o G-10 Documento
-
Uma arquitetura baseada em agentes de software para a automação de processos de gerência de falhas em redes de telecomunicações Documento
-
Uma arquitetura de software para mediação flexível de Web services Documento
-
Uma arquitetura para auto-sintonia global de SGBDs usando agentes. Documento
-
Uma arquitetura para controle de Atrasos de Tempo em Simulações Baseadas em Sistemas Multiagentes Documento
-
Uma arquitetura para processamento de eventos de log em tempo real. Documento
-
Uma disciplina para projeto modular de banco de dados Documento
-
Uma estimativa de Erro e Aplicações em Problemas Semilineares de Valor de Contorno Documento
-
Uma facilidade de verificação de sistemas para Bancos de Dados Documento
-
Uma ferramenta de RV para tratamento de fobia de voar controlada pelo terapeuta Documento
-
Uma ferramenta de interação 3D para ambientes virtuais de engenharia utilizando dispositivos móveis Documento
-
Uma ferramenta para documentação de sistemas de software Documento
-
Uma ferramenta para geração e execução de testes funcionais baseados na descrição textual de casos de uso Documento
-
Uma ferramenta para o rastreamento de vídeos e imagens utilizando técnicas de esteganografia Documento
-
Uma infra-estrutura de software para alinhamento de catálogos heterogêneos Documento
-
Uma meta-ferramenta de geração de diagramas utilizada na engenharia reversa de sistemas legados Documento
-
Uma meta-ferramenta de geração de diagramas utilizada na engenharia reversa de sistemas legados Documento
-
Uma metodologia baseada em otimização quadrática para geração de malhas geomecânicas de reservatório Documento
-
Uma plataforma de jogos JRPG destinada à educação com entretenimento Documento
-
Uma proposta para Rendering Baseado em Imagens em celulares Documento
-
Uma álgebra para suportar linguagens de SGBS's orientados a objetos Documento
-
Uncertainty Analysis of 2D Vector Fields through the Helmholtz-Hodge Decomposition Documento
-
Uncovering factors that influence how data visualizations are interpreted by non-experts Documento
-
Understanding Characteristics and Structural Effects of Batch Refactorings in Practice Documento
-
Understanding How Developers Identify Design Problems in Practice Documento
-
Unifying Agile Requirements Specification Quality Control and Implementation Conformance Assurance Documento
-
Unsupervised multi-review summarization using fine-tuned Transformer language models Documento
-
Unveiling Social and Technical Facets of Design Degradation in Modern Code Review Documento
-
User-centric Preference-based Decision Making Documento
-
Using BSN and HAR to Enhance the Assessment of Form and Execution Quality in Functional Training Documento
-
Using LEAN to show that every exponentially big normal proof in Minimal Implicational Logic is exponentially redundant Documento
-
Using Web Scripts to Improve Accessibility Documento
-
Using runtime information and maintenance knowledge to assist failure diagnosis, detection and recovery. Documento
-
Uso de Ambientes Imersivos para Colaboração com Usuários Remotos não Imersos Documento
-
Uso de Estruturas Planares Extraídas de Imagens RGB-D em Aplicações de Realidade Aumentada Documento
-
Uso de Técnicas Baseadas em Pontos para Visualização de Horizontes Sísmicos Documento
-
Uso de estratégias orientadas a metas para modelagem de requisitos de segurança Documento
-
Uso de estratégias orientadas a metas para modelagem de requisitos de segurança Documento
-
Uso de objetos para o projeto e construção de interfaces generalizadas com o usuario: um estudo de casos. Documento
-
Utilizando Anotações em Linguagens Orientadas a Objetos para Suporte à Programação Orientada a Componentes Documento
-
Utilizando aprendizado de máquina para construção de uma ferramenta de apoio a moderação de comentários. Documento
-
Utilização de Ontologias no Domínio B2C Documento
-
Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação. Documento
-
VALIBOL - Uma extensão de linguagem COBOL visando uma especificação simplificada de procedimentos de validação de dados Documento
-
VGROUPS Um Framework para Grupos Virtuais de Consumo Documento
-
VISUALIZAÇÃO DE FLUXO EM RESERVATÓRIOS DE PETRÓLEO USANDO LIC VOLUMÉTRICO Documento
-
VISUALIZAÇÃO DE MOVIMENTOS E DE INTERIOR EM MODELOS SÓLIDOS DE ELEMENTOS FINITOS Documento
-
VIX - Um Framework para Suporte a Objetos Visuais Interativos Documento
-
Vehicle Routing Problems With Time Windows and Exact Synchronization Constraints Documento
-
VelvetH-DB: uma abordagem robusta de banco de dados no processo de montagem de fragmentos de sequências biológicas Documento
-
Verificação e Validação em Requisitos: Processamento da Linguagem Natural Documento
-
Verificação e Validação em Requisitos: Processamento da Linguagem Natural e Agentes Documento
-
Video-Based Interactive Storytelling Documento
-
Vigilância e Monitoramento em Tempo Real de Veículos em Rodovias com Câmeras Não-Calibradas Documento
-
Visual LED: Uma Ferramenta Interativa para Geração de Interfaces Gráficas Documento
-
Visual interactive support for selecting scenarios from time-series ensembles Documento
-
Visualizacao de terrenos em tempo real em arquitetura cliente-servidor Documento
-
Visualizando Campos Vetoriais em Superfícies Documento
-
Visualização Distribuída utilizando Agrupamentos de PCs Documento
-
Visualização Interativa de Modelos Massivos de Engenharia na Indústria de Petróleo com o Algoritmo de Voxels Distantes Documento
-
Visualização Interativa de Modelos Massivos de Engenharia na Indústria de Petróleo com o Algoritmo de Voxels Distantes Documento
-
Visualização Tridimensional utilizando o GKS-3d Documento
-
Visualização Volumétrica Interativa de Malhas Não-Estruturadas Utilizando Placas Gráficas Programáveis Documento
-
Visualização Volumétrica de Horizontes em Dados Sísmicos 3D Documento
-
Visualização Volumétrica em um Ambiente de Computação Distribuído Documento
-
Visualização da Fronteira entre Fluidos Utilizando o Met. SPH e o Alg. de Marching Cubes Documento
-
Visualização da Fronteira entre Fluidos Utilizando o Método SPH e o Algoritmo de Marching Cubes. Documento
-
Visualização da Informação - Um estudo de Caso das Conferencias Em Grafos Documento
-
Visualização de Dados Geográficos Vetoriais sobre Terrenos em Multi-Resolução Documento
-
Visualização de Modelos Massivos de Reservatórios Naturais de Petróleo Documento
-
Visualização de Rótulos em Objetos de Modelos Massivos em Tempo Real Documento
-
Visualização de modelos digitais de elevação em multiresolução utilizando programação em GPU Documento
-
Visualização de seções de corte arbitrárias de malhas não estruturadas Documento
-
Visualização de variedades implícitas de dimensão 3 no R4 Documento
-
Visualização ilustrativa de malhas não estruturadas Documento
-
Visualização tridimensional combinada de dados volumétricos e modelos poligonais usando o algoritmo "shear-warp" Documento
-
Visualização volumétrica de dados sísmicos utilizando um modelo de iluminação por oclusão direcional Documento
-
Visualização volumétrica ilustrativa de malhas não estruturadas Documento
-
Visualização volumétrica precisa baseada em integração numérica adaptativa Documento
-
Volume rendering of unstructured hexahedral meshes Documento
-
WEBLEARNING - Um Ambiente para Autoria de Aplicações de apoio ao Aprendizado WEB Documento
-
Wearables para apoiar a Representação Espacial por Indivíduos Cegos Documento
-
Web Life - Uma Arquitetura para a Implementação de Sistemas Multi-agentes para a Web Documento
-
Web Semântica Aplicada às Coleções Biológicas do INPA Documento
-
WebBD-XML - Uma Arquitetura de um Sistema de Banco de Dados baseada em XML para extração de conteúdo da Web Documento
-
Workflow para Bioinformática Documento
-
Workflows dinâmicos em gerência de projetos ágeis Documento
-
XHITS: Estendendo o Algoritmo HITS para Extração de Tópicos na WWW Documento
-
eBusinessCard: Um Framework para Smart Cards Documento
-
eLGORM: Um Modelo de Referência para Governança de e-Learning Documento
-
eXtreme Communication-Centered Design: um processo ágil para o projeto da interação humano-computador Documento
-
integração de abstrações específicas de programação a linguagens de programação Documento
-
sistema computadorizado, com acesso via web, para medir o percentual de perdas de energia elétrica em redes de distribuição para clientes de baixa tensão (até 220 V). Documento
-
um sistema operacional dedicado a Modula-2 Documento
-
v-Glove: Uma proposta de dispositivo de interação para aplicações imersivas de realidade virtual Documento
-
ver Documento
Pesquisas
Contato
telefone
endereço de email
Identidade