cour_4bac4803-5216-4b80-ac9a-e69a2eaaf016
-
- Visão geral
-
- Publicações
-
- Ver todos
-
Visão geral
Publicações
publicações
-
"Algoritmos para Diagnóstico Assistido de Nódulos Pulmonares Solitários em Imagens de Tomografia Computadorizada." 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
-
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 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 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 ENGENHARIA SEMIÓTICA DE LINGUAGENS DE INTERFACES MULTI-USUÁRIO Documento
-
A GALS Approach for Programming Distributed Multimedia Applications Documento
-
A GERACAO DE RESPOSTAS COOPERATIVAS EM SISTEMAS BASEADOS EM LOGICA 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 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 SELF-SUPERVISED METHOD FOR BLIND DENOISING OF SEISMIC SHOT GATHERS Documento
-
A Scalable Middleware for Structured Data Provision and Dissemination in Distributed Mobile Systems Documento
-
A geometric algorithm to generate random polydisperse dense arrangements of non over-lapping disk particles Documento
-
A methodology for conceptual design of pervasive mobile games Documento
-
A novel approach for de Bruijn Graph construction for denovo genome assembly Documento
-
A novel self-adaptive approach for optimizing the use of IoT devices in patient monitoring using EWS Documento
-
A synchronous virtual machine for multimedia presentations 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
-
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
-
Acompanhamento de Cenas com Calibração Automática de Câmeras Documento
-
Agentes Reativos para Centros de Controle de Energia Elétrica Documento
-
Algoritmos para Problemas de Otimização Aplicados a Roteamento e Atribuição de Comprimentos de Onda Documento
-
Algoritmos para Problemas de Steiner com Aplicações em Projeto de Circuitos VLSI 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
-
Ambiente de Desenvolvimento de Soluções Documento
-
Ambientes para Processamento de Conhecimento Documento
-
An Approach for Dealing with Inconsistencies in Data Mashups 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
-
Analisando o Alinhamento Estratégico de Recursos Humanos Através de Modelos Organizacionais 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 baseada em Física com Modelos Geométricos em Multi-Resolução Documento
-
Anticipating Change in Software Systems supporting Organizational Information Systems using a Strategic Organizational based Approach 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 Negócio Aplicada à Modelagem de Meta Ambientes Automatizados Documento
-
Análise de modelos de metas baseada em colorimetria Documento
-
Approximation Algorithms for Decision Trees Documento
-
Areas: Criptografia / Seguranca da Informacao / Compressao de Dados Documento
-
Arquitetura para Adaptação e Meta-Adaptação de Sistemas Hipermídia 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
-
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
-
Avaliação do impacto de acidentes de trânsito no tráfego de vias urbanas a partir de valores de velocidade Documento
-
BONNIE: BUILDING ONLINE NARRATIVES FROM NOTEWORTHY INTERACTION EVENTS Documento
-
Balanceamento de carga de aplicações paralelas SPMD Documento
-
Beauty Technology as an Interactive Computing Platform Documento
-
CASAMENTO DE PADROES EM AMBIENTES PARA PROCESSAMENTO DE CONHECIMENTO Documento
-
CATEGORIAS E SEQUENCIALIDADE Documento
-
CLASSIFICAÇÃO DE PÁGINAS WEB POR APRENDIZAGEM DE MÚLTIPLAS CATEGORIAS LATENTES Documento
-
COMMUNICATIVE DIMENSIONS OF APPLICATION PROGRAMMING INTERFACES (APIS) Documento
-
COMPACTAÇÃO DE PROVAS LÓGICAS Documento
-
CONFIANÇA EM AGENTES INTELIGENTES Documento
-
CONTROLE DO SINCRONISMO TEMPORAL DE APLICAÇÕES HIPERMÍDIA Documento
-
CULTURAL VIEWPOINT METAPHORS TO EXPLORE AND COMMUNICATE CULTURAL PERSPECTIVES IN CROSS-CULTURAL HCI DESIGN Documento
-
Calibração de múltiplas câmeras baseada em um padrão invariante Documento
-
Caracterização Sistemática de Restrições de Integridade Documento
-
Circuitos Transformacionais Documento
-
Clustering and Dataset Interlinking Recommendation in the Linked Open Data Cloud 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
-
Compartilhamento e Semântica Denotacional Documento
-
Composição em WebFrameworks Documento
-
Compressão de sequência de bits e grafos Documento
-
Comunicação através de modelos no contexto do desenvolvimento deSoftware Documento
-
Conceptual schema matching based on similarity heuristics Documento
-
Conciliando Flexibilidade e Eficiência no Desenvolvimento do Ambiente Declarativo Ginga-NCL Documento
-
Construção de Espaços de Cor Euclidianos e Perceptualmente Uniformes com base na fórmula CIEDE2000 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
-
Contributions to the Problem of Keyword Search over Datasets and Semantic Trajectories Based on the Resource Description Framework Documento
-
Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto. Documento
-
Criação e Manutenção de Subdivisões do Espaço Documento
-
Cálculo de Sequentes e Dedução Natural: Relacionamentos e Consequências Documento
-
Códigos de Prefixo: Algoritmos e Cotas Documento
-
DG2CEP: An On-line Algorithm for Real-time Detection of Spatial Clusters from Large Data Streams through Complex Event Processing 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
-
Dead Reckoning Orientado a Metas para Personagens Reativos Documento
-
Decentralized Reasoning in Ambient Intelligence Documento
-
Deep-Learning-Based Shape Matching Framework on 3D CAD Models Documento
-
Denoising and simplification in the construction of 3D digital models of complex objects Documento
-
Desempenho de Sistemas Web Controlado por Ferramentas de Construção de Páginas Dinâmicas 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
-
Design Rationale para processos de triplificação Documento
-
Design e Implementação de Agentes de Software Adaptativos Normativos Documento
-
Detecção de Lesões na Substância Branca do Cérebro em Imagens T1 e FLAIR 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
-
EDUCO - Modelando Conteúdo Educacional Documento
-
ENTROPY GUIDED FEATURE GENERATION FOR STRUCTURE LEARNING Documento
-
EPISTEME: AQUISICAO E ESTRUTURACAO AUTOMATICAS DE CONHECIMENTO Documento
-
EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS Documento
-
EXTRACTING RELIABLE INFORMATION FROM LARGE COLLECTIONS OF LEGAL DECISIONS Documento
-
Emotions in Plots with Non-Deterministic Planning for Interactive Storytelling Documento
-
Empirical Evaluation of Effort on Composing Design Models 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
-
Especificação Formal de Sistemas de Computação Documento
-
Estimativas de Atributos Volumétricos de Curvatura em Dados Sísmicos 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 Negociação de Ativos Financeiros Utilizando Agendamentos por Intervalos Ponderados Documento
-
Estratégias de Paralelização de Metaheurísticas em Ambientes de Memória Distribuída 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
-
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 Node and Arc Routing Problems Documento
-
Exact algorithms for the capacitated vehicle routing problem 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
-
Exploring RDF Knowledge Bases through Serendipity Patterns Documento
-
Exploring the frontier of Combinatorial Optimization and Machine Learning: Applications to Vehicle Routing and Support Vector Machines 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 Malha em Multi-resolução Adaptativa a partir de Volumes com Simplificação e Refinamento Documento
-
FORMATAÇÃO E CONTROLE DE APRESENTAÇÕES HIPERMÍDIA COM MECANISMOS DE ADAPTAÇÃO TEMPORAL Documento
-
Falta Documento
-
Flight Coordination Approaches of UAV Squads for WSN Data Collection Documento
-
Framework para integração de sistemas de bancos de dados heterogêneos Documento
-
G-Frameworks: Uma Abordagem para a Reutilização de Leis de Interação em Sistemas Multi-Agentes Abertos Documento
-
GINGA-MD: Uma Plataforma para Suporte à execução de Aplicações Hipermídia Multi-Dispositivo Baseada em NCL Documento
-
GLOBAL MOBILITY ARCHITECTURE Documento
-
GLOBAL-AWARE RECOMMENDATIONS FOR REPAIRING EXCEPTION HANDLING VIOLATIONS Documento
-
GeMA, um novo framework para a prototipação, desenvolvimento e integração de simulações multifísicas e multiescalas em grupos multidisciplinares Documento
-
Geração Interativa de Enredos 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
-
Governança de Sistemas Multi-Agentes Abertos com Fidedignidade 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 para o problema das p-medianas conectadas Documento
-
History-Sensitive Recovery of Features in Code of Evolving Program Families Documento
-
Hybrid Cloud Rendering for Industrial-Plant CAD Models Documento
-
IDENTIFICATION AND REFACTORING OF DESIGN PROBLEMS IN SOFTWARE SYSTEMS Documento
-
IMPOSTORES COM RELEVO Documento
-
INTEGRANDO COMUNICAÇÃO ASSÍNCRONA E GERÊNCIA COOPERATIVA DE TAREFAS EM AMBIENTES DE COMPUTAÇÃO DISTRIBUÍDA Documento
-
Indução e Seleção Incrementais de Atributos no Aprendizado Supervisionado Documento
-
Integração de Repositórios de Sistems de Bibliotecas Digitais e de Sistemas de Aprendizagem Documento
-
Interactive Directional Occlusion Shading and Black Oil Reservoir Visualization using Ray Casting Documento
-
Interfaces Assistidas para Deficientes Visuais utilizando Dispositivos Reativos e Transformadas de Distância Documento
-
Introdução a uma teoria geral de problemas Documento
-
Kuaba: Uma Abordagem para Representação de Design Rationale para o Reuso de Designs baseados em Modelo Documento
-
LINX: Um Ambiente Integrado de Interface para Sistemas de Informação Baseados em Conhecimento 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
-
LindaX: Uma Linguagem de Descrição de Sistemas de Comunicação Adaptáveis 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
-
Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática 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
-
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
-
MMAD - Um Modelo para Modelagem em Sistemas de Apoio à Decisão Documento
-
MOLDES - UMA LINGUAGEM PARA A MODELAGEM DE OBJETOS DE INTERACAO 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
-
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
-
Matheuristics for Variants of the Dominating Set Problem 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
-
Method for Automatic Detection of Stamps in Scanned Documents Using Deep Learning and Synthetic Data Generation by Instance Augmentation Documento
-
Middleware para Integração de Dados Heterogêneos Baseado em Composição de Frameworks Documento
-
Modelagem Analitica de Desempenho de Aplicações Distribuídas em Arquiteturas paralelas de Tempo-Real Documento
-
Modelagem Dinâmica de Produto Baseada na História de Design Documento
-
Modelagem Semântica de Aplicações na WWW Documento
-
Modelagem Taxonômica e Desenvolvimento de Sistemas Geradores de Editores Documento
-
Modelagem da Interação com o Usuário em Aplicações Hipermídia (Modeling User Interaction in Hypermedia Applications)) Documento
-
Modelagem de Cascas Com Interseções Paramétricas Documento
-
Modelagem de Contextos Dinâmicos em Simulação de Gestão de Projetos de Software Baseada em MultiAgentes Documento
-
Modelagem de restrições de esquemas mediados 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
-
Modelos de Concorrência e Coordenação para o Desenvolvimento de Aplicações Orientadas a Eventos em Lua 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
-
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
-
Novel Node Importance Measures to Improve Keyword Search over RDF Graphs Documento
-
O ALGORITMO BOOSTING AT START E SUAS APLICACOES Documento
-
O Processo de Desenvolvimento de Software à Luz da Visão Estruturalista das Teorias da Ciência Natural Documento
-
O Uso de Casos na Reflexão em Ação em Atividades de Design de IHC 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
-
Obstáculos ao ensino dos métodos de avaliação da Engenharia Semiótica. Documento
-
On A Proof Theory for Description Logics 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 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
-
Optimization Under Uncertainty for Asset Allocation Documento
-
Optimized Compilation of a Dynamic Language to a Managed Runtime Environment. Documento
-
Opus: um otimizador de consultas para SGBDs não convencionais Documento
-
Otimização de Código Em Máquinas Superescalares 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
-
PETROLEUM SUPPLY PLANNING: MODELS, REFORMULATIONS AND ALGORITHMS 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
-
Pattern-Driven Maintenance: A Method to Prevent Unhandled Latent Exceptions in Web Applications Documento
-
Planejamento da Utilização Casual: Projeto e Utilização de um Laboratório para Estudos Cognitivos da Interface Homem-Máquina 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
-
Process-Oriented Modeling and Simulation for Serious Games. Documento
-
Programação via Interface 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 Desenvolvimento de Protocolos para Redes Locais de Computadores Documento
-
Promoting Conversational APIs: A Conceptual Framework and a Method for API Design Documento
-
Propostas de Roteamento para Redes Veiculares (VANETs) em Ambientes Urbanos Documento
-
Prototipação Virtual Em Modelagem de Sólidos Distribuída Documento
-
Prova Automática de Teoremas em Dedução Natural : Uma Abordagem Abstrata Documento
-
Provas em Grafos: Implicações em Teoria da Prova e em Complexidade Computacional Documento
-
Proximity-based Understanding of Conditionals Documento
-
QEEF - Uma Máquina de Execução de Consultas Extensível Documento
-
REVISITANDO CO-ROTINAS Documento
-
RUP-3C-Groupware: um processo de desenvolvimento de groupware baseado no Modelo 3C de Colaboração Documento
-
Raciocínio Evidencial e Aquisicão Automática de Conhecimento em Sistemas Especialistas: Uma Abordagem Bayesiana Documento
-
Reconstrução de cenas a partir de images através de escultura do espaço por refinamento adaptativo Documento
-
Reengenharia de Sistemas Autoadaptativos Guiada pelo Requisito Não Funcional de Consciência de Software Documento
-
Relaxamento Adaptativo da Sincronização Através do Uso de Métodos de Aprendizagem Supervisionada Documento
-
Relações em Linguagens de Autoria Hipermídia: Aumentando Reuso e Expressividade Documento
-
Requisitos Não Funcionais: Da Elicitação ao Modelo Conceitualç Documento
-
Respostas cooperativas baseadas na geração e reconhecimento de planos Documento
-
Reutilização de Processos 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
-
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
-
Serviço sem Conexão para Tráfego Garantido em Inter-Redes IP sobre ATM Documento
-
Simulação eficiente de fluidos no espaço paramétrico de malhas estruturadas tridimensionais Documento
-
Sincronismo Na Modelagem e Execução de Apresentações de Documentos Multimídia Documento
-
Sistemas Especialistas de Segunda Geração - Algorítmos, Métodos e Técnicas 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
-
Sistematização da Aprendizagem de Programação em Grupo Documento
-
Sketch-based modeling of natural objects with emphasis in salt domes Documento
-
Storytelling based on audience social interaction Documento
-
Strategies to Understand the Connectivity of Entity Pairs in Knowledge Bases Documento
-
Suporte Computacional a Evolução de Frameworks 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
-
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
-
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
-
Teoria de Modelos para Heurísticas Baseada em Topoi Documento
-
The Pallene Programming Language 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
-
Tratamento de Exceções em Ambientes Modulares Documento
-
Typed Lua: An Optional Type System for Lua Documento
-
TÉCNICAS PARA PROGRAMAÇÃO INTEIRA E APLICAÇÕES EM ROTEAMENTO DE VEÍCULOS Documento
-
UM METODO DE DESIGN DE SISTEMAS DE TEMPO-REAL FUNDAMENTADO POR EXPERIMENTACAO Documento
-
UM MÉTODO PARA A COMPRESSÃO DE DADOS VOLUMÉTRICOS BASEADO NA TRANSFORMADA DO COSSENO LOCAL 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
-
Um Enfoque Baseado em Modelos para o Design Orientado a Aspectos Documento
-
Um Framework do tipo Middleware para Sistemas Multi-Agentes na Internet Documento
-
Um Instrumento de Análise Semiótica para Linguagens Visuais de Interfaces Documento
-
Um Meta Modelo para Aplicações e Serviços de Comunicação Adaptáveis com Qualidade de Serviço 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 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 Composição Dinâmica entre Sistemas de Componentes
de Software Documento
-
Um Modelo de Objetos para um Sistema de Gerência de Objetos em Ambientes de Desenvolvimento de Sistemas Interativos 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 bloqueio multigranular para RDF 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 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 Protocolo para Descoberta e Seleção de Recursos em Grades Móveis Ad hoc 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 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 estudo de identificação de fraudadores em mercados eletrônicos através da computação humana. Documento
-
Um estudo sobre a viabilidade e efetividade da reserva de recursos no nível do usuário Documento
-
Um framework de Aplicações para a Web Semântica 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 transações para integração de SGBD a um ambiente de computação móvel 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 olhar crítico sobre o projeto de interfaces tangíveis baseado na Engenharia Semiótica Documento
-
Um sistema de cache preditivo para o processamento em tempo-real de grandes volumes de dados gráficos. Documento
-
Uma Abordagem Eficiente para Reconfiguração Coordenada em Sistemas Distribuídos de Processamento de Data Streams 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 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 para Modelar, Armazenar e Acessar Sequências Biológicas 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 Orientada a Objetos para a Integração das Facilidades de Concorrência, Transação e Persistência Documento
-
Uma Arquitetura para Associação de Interfaces a Usuários 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 Heurística Híbrida de Melhoria para o Problema de Bin Packing e sua Aplicação ao Problema de Escalonamento de Tarefas 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 Plataforma na Nuvem para Armazenamento de Dados Georreferenciados de Mobilidade Urbana 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 arquitetura para controle de Atrasos de Tempo em Simulações Baseadas em Sistemas Multiagentes Documento
-
Uma disciplina para projeto modular de banco de dados Documento
-
Uma metodologia baseada em otimização quadrática para geração de malhas geomecânicas de reservatório 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 How Developers Identify Design Problems in Practice Documento
-
Understanding and Improving Batch Refactoring in Software Systems Documento
-
Unifying Agile Requirements Specification Quality Control and Implementation Conformance Assurance 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 runtime information and maintenance knowledge to assist failure diagnosis, detection and recovery. Documento
-
Verificação e Validação em Requisitos: Processamento da Linguagem Natural Documento
-
Video-Based Interactive Storytelling Documento
-
Visual interactive support for selecting scenarios from time-series ensembles 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 de Modelos Massivos de Reservatórios Naturais de Petróleo 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
-
Workflow para Bioinformática Documento
-
integração de abstrações específicas de programação a linguagens de programação Documento