CIÊNCIA DA COMPUTAÇÃO
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
Planejamento Baseado em Busca e Aprendizagem [link] Documento
-
Coordination, Localization, and Navigation for Service Robots in Indoor Environments [link] Documento
-
A Carrier Grade OpenFlow Controller Based on the JAIN SLEE Component Model Documento
-
A Decision Model for Triggering Builds on a Continuous Integration System Documento
-
A influência dos parâmetros de Análise por Semântica Latente aplicada a localização de defeitos de software Documento
-
A stochastic multi-state cellular automatamodel and its application in scheduling and density classification problem Documento
-
A strategy for visual structural data analysis of labor accident data Documento
-
ADABA: uma nova abordagem de distribuição do Alfa-Beta - aplicação ao domínio do jogo de Damas. Documento
-
ANÁLISE DOS EFEITOS DO TURNOVER NA PRODUTIVIDADE DE PROCESSOS DE SOFTWARE TRADICIONAIS E HÍBRIDOS Documento
-
APLICAÇÃO DE PLANEJAMENTO EM JOGOS DE ESTRATÉGIA Documento
-
APLICAÇÃO DO PROFILE UML MARTE NA MODELAGEM DE SERVIÇOS DE PROTOCOLOS DE COMUNICAÇÃO DE TEMPO REAL Documento
-
ARQDEP: arquitetura de computação em nuvem com dependabilidade Documento
-
Adaptive-Moodle: Adaptatividade e Interoperabilidade em Ambientes de e-learning utilizando Tecnologias da Web Semântica. Documento
-
Agentes Móveis Inteligentes para Suporte a Ubiquidade de Serviços Multimídia Documento
-
Agentes Móveis Inteligentes para a Ubiquidade de Serviços Multimídia Documento
-
Agrupamento automático com informações de autoridade e conteúdo Documento
-
Algoritmo Híbrido Multiobjetivo para o Problema Flexible job Shop Documento
-
Algoritmos Genéticos Multiobjetivos aplicados ao Roteamento Multicast com Qualidade de Serviço Documento
-
Alinhamento de rastros de execução de programas para compreensão de pontos de variação em código-fonte Documento
-
Ampliando a segurança de aplicações para a internet das coisas baseadas na plataforma FIWARE Documento
-
Análise da transmissão do conhecimento entre os operários do distrito industrial, através de um estudo comparativo entre Brasil e Espanha. Documento
-
Análise de Nomes da Química Orgânica à Luz da Teoria do Léxico Gerativo - Da Análise Sintático Semântica ä Geração das Estruturas Químicas através dos Combinadores de Parser Documento
-
Análise de Nomes da Química Orgânica à luz da Teoria do Léxico Gerativo - Da Análise Sintático-Semântica à Geração das Estruturas Químicas através dos Combinadores de Parser Documento
-
Análise de Novas Abordagens para Mineração de Regras de Classificação Utilizando Algoritmos Genéticos Documento
-
Análise de Performance na Localização de Bugs apoiada pela Dissecção de Conjuntos de Dados Documento
-
Análise de Segurança de Esquemas de Privacidade de Dados. Documento
-
Análise qualitativa da experiência do usuário em confiabilidade de sistemas operacionais Documento
-
Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de workflow Documento
-
Aplicando Técnicas de Aprendizado de Máquina em Planejamento Documento
-
Apresentação de Senhas em Máquinas Hostis Documento
-
Aprimorando o Processo de Aprendizagem e Alocação de Agentes Inteligentes em Plataformas Multiagentes - Aplicação no Domínio do Jogo de Damas Documento
-
Arcabouço Conceitual para Computação Reconfigurável Documento
-
Arquitetura de alta disponibilidade para Firewall e IPS baseada em SCTP Documento
-
Arquitetura de software baseada numa abordagem UML/Redes de Petri com prevenção de bloqueio mortal em sistemas de tempo real Documento
-
Aspectos iniciais modelados com uma extensão da SYSML Documento
-
Assessing and Improving Recommender Systems to Deal with User Cold-Start Problem. Documento
-
Associação entre atributos manuais e aprendizado profundo baseada em geometria fractal para classificação de imagens histológicas Documento
-
Autenticação do Remetente de E-mail em Servidor com Assinatura Baseada na Identidade Documento
-
Autenticação do remetente em servidor de e-mail com assinatura baseada na identidade Documento
-
Autocura para redes definidas por software Documento
-
Automated segmentation of tumor regions from oral histological whole slide images using fully convolutional neural networks Documento
-
Autômatos Celulares e Sistemas Bio-Inspirados aplicados ao Controle Inteligente de Robôs. Documento
-
Avaliação da capacidade de retenção de água em amostras de carne suína Documento
-
Avaliação da validade externa da técnica de análise diferencial para detecção de envelhecimento de software: um estudo confirmatório com replicação Documento
-
Avaliação de Desempenho de Técnicas de Controle Estatístico de Processos Aplicadas ao Controle de Qualidade de Predições em Análise de Tráfego de Redes de Computadores Documento
-
Avaliação de Refatoração de Software com Programação Orientada a Aspectos usando métricas Documento
-
Avaliação do Desempenho de Técnicas de Programação Orientada a Aspectos Documento
-
BTT-Go: Um Agente Jogador de Go com Busca Monte-Carlo Aprimorada com Tabela de Transposição e Modelo Bradley-Terry Documento
-
Balanceamento de chamadas VoIP a transcodificar Documento
-
Banco de dados relacionais em ambiente cifrado Documento
-
BioWebVis - Ambiente web para citomorfometria utilizando imagens 3D Documento
-
CPref-SQL: uma Linguagem de Consulta com Suporte a Preferências Condicionais - Teoria e Implementação Documento
-
Captura multimídia em ambientes educacionais instrumentados: aspectos arquiteturais, modelo de comunicação e interface de acesso contextual Documento
-
Caracterização de imagens utilizando redes neurais artificiais Documento
-
Caracterização de texturas com o auxílio de redes complexas, projeções topológicas e padrões semânticos Documento
-
Caracterização e Análise de Texturas Estáticas e Dinâmicas Utilizando Redes Complexas, Caminhadas Determinísticas e Campos Vetoriais Documento
-
Categorização de Mensagens de Questionamentos em Repositórios de Software: Correção, Melhoria ou Novo Requisito Documento
-
Classificação de Alto Nível Baseada em Redes Complexas para Aprendizado Multirrótulo Documento
-
CobMiner Mineração de Padrões Arborescentes com Restrições de Autômatos de Arvore Documento
-
Combinando semi-supervisão e hubness para aprimorar o agrupamento de dados em alta dimensão Documento
-
Compreensão de Mudanças Estruturais no Código Fonte usando Análise Dinâmica e Estática Documento
-
ConForm: estabelecimento autônomo de fluxos de controle In-Band com descoberta de topologia integrada para redes SDN Documento
-
Configuracao Dinamica de Classes DiffServ e Provisao de QoS para Aplicacoes Multimidia Documento
-
Construção de um classificador automático de severidade de bugs para sistemas open source. Documento
-
Consulta em base de dados cifrada em computação nas nuvens Documento
-
Contribuições para a Representação de Circuitos Digitais Usando Programação Funcional Documento
-
Controle de Acesso a Web Services baseado em um protocolo de autenticação segura. Documento
-
Controle estatístico de processos de predição de tráfego de redes de computadores Documento
-
Coordenação de Múltiplos Veículos Autônomos de Entrega Usando K-Means e Algoritmos Bio-Inspirados Documento
-
Coordenação de times de robôs baseada em mapas descentralizados de feromônio repulsivo e regras locais de autômatos celulares Documento
-
Criação Automática e Recomendação Personalizada de Recursos Educacionais: uma abordagem baseada em um Algoritmo Genético, Tecnologias da Web Semântica e uma Ontologia Documento
-
Crowd cookbooks : usando conhecimento de multidão a partir de sítios de perguntas e respostas para documentação de APIs Documento
-
D-MA-Draughts: Um sistema multiagente jogador de damas automático que atua em um ambiente de alto desempenho Documento
-
D-VISIONDRAUGHTS: UMA REDE NEURAL JOGADORA DE DAMAS QUE APRENDE POR REFORÇO EM UM AMBIENTE DE ALTO DESEMPENHO Documento
-
D-VisionDraughts: uma rede neural jogadora de damas que aprende por reforço em um ambiente de computação distribuída Documento
-
DASH sobre OpenFlow: estimando métricas de QoS a partir da rede Documento
-
Deep learning aplicado à inspeção visual de madeira, pólen e vírus Documento
-
Dependência entre Termos no Modelo Vetorial Documento
-
Desenvolvimento de um Web Lab SOA no domínio de redes de computadores Documento
-
Desenvolvimento de um método para segmentação de imagens histológicas da rede vascular óssea Documento
-
Desenvolvimento de uma plataforma para gerenciamento e configuração de redes auto-organizadas Documento
-
Detection and correction of deformations in UAVs’ images using deep learning Documento
-
Detection of Telecommunication Anomalies by means of a Knowledge System that uses Similarity Search, Haar Wavelet and RDR as support tools Documento
-
Detecção e correção de situações de deadlock em workflow nets interorganizacionais Documento
-
Distribuição de Tarefas em Sistemas de Workflow por meio da Seleção Induzida de Recursos Documento
-
Distribuição de Tarefas em Sistemas de Workflow Baseada na Aptidão dos Recursos Documento
-
Distribuição de Tarefas emSistemas de Workflow com Base na Aptidão dos Recursos Documento
-
Distribuição e Personalização de Conteúdo Multimídia em Ambientes Educacionais Ubíquos Documento
-
Divergências de Bregman e total Bregman aplicadas na análise de imagens Documento
-
Documentação Automatizada de APIs com Tutoriais Gerados a Partir do Stack Overflow Documento
-
ESCALONAMENTO DE TAREFAS BASEADO EM AUTÔMATOS CELULARES COM O USO DOS PARÂMETROS DE PREVISÃO DE COMPORTAMENTO DINÂMICO Documento
-
ESPECIFICAÇÃO DE MODELOS DE TESTE FUNCIONAIS PARA SOFTWARES ORIENTADOS A OBJETOS Documento
-
ETArch-SG: Uma proposta de arquitetura baseada em SDN para suporte de comunicação em smart grids Documento
-
ETArch: Projeto e Desenvolvimento de uma Arquitetura para o Modelo de Título com foco na Agregação de Tráfego Multicast Documento
-
Eliminação de Ruídos em Imagens de Ultrassonografia via Métodos Variacionais Documento
-
Engenharia de confiabilidade de software: um mapeamento sistemático Documento
-
Envelhecimento e Rejuvenescimento de Software: 20 anos (1995 - 2014) – Panorama e Desafios Documento
-
Escalonamento genético FJSP com tempo de configuração dependente de seqüência Documento
-
Especificação de Serviço e Suposições sobre o Ambiente para um protocolo de Alta Disponibilidade Documento
-
Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Documento
-
Especificação, Desenvolvimento e Prototipagem um Protocolo de Alta Disponibiliade em FPGA Documento
-
Estudo Exploratório Sobre Fontes de OS Jitter no Sistema Operacional Linux Documento
-
Estudo Exploratório sobre Fontes de OS Jitter no Kernel do Linux Documento
-
Estudo Exploratório sobre o Desempenho de Alocadores de Memória em Computadores Multicore Documento
-
Estudo da Percepção Humana e Mineração de Preferências Contextuais na recomendação de Imagens para o Usuário. Documento
-
Estudo de Técnicas para Indexação e Recuperação de Sequências Numéricas: Segmentação Adaptativa e Processamento de Consultas em Lote Documento
-
Estudo e Desenvolvimento de Métodos Computacionais para a Análise da Rede Vascular Óssea Documento
-
Evoluindo Inteligências Múltiplas pelo Método da Espiral de Aprendizagem utilizando Particle Swarm Optimization Documento
-
Evolução da semissupervisão em detecção online de agrupamentos Documento
-
Explorando Funcionalidades Sociais e Colaborativas em Ambientes Ubíquos de Aprendizagem Documento
-
Exploração das propriedades de hubness para detecção semissupervisionada de outliers em dados de alta dimensão Documento
-
Exploração do Uso de Short-term Memory na Construção de Métodos de Acesso Métricos Dinâmicos Sobre a Perspectiva de Diferentes Políticas de Divisão de Nós Documento
-
Extensão do SGBD POSTGRESQL Para Suportar Recuperação de Imagens por Conteúdo Documento
-
Extensão do bag-of-visual-features para incorporar informação espacial na descrição de características de acordo com a percepção visual humana Documento
-
Extensões na arquitetura SDN para o provisionamento de QoS através do monitoramento e uso de múltiplos caminhos Documento
-
Extração de Esquema Conceitual a partir de Esquema Relacional Documento
-
FORMALIZAÇÃO DE WORKFLOW NETS BASEADA NA LÓGICA LINEAR: ANÁLISE QUALITATIVA E QUANTITATIVA Documento
-
FamilyGuard: Uma arquitetura de segurança sensível ao contexto para detecção de anomalias em redes domésticas Documento
-
Fault-Tolerant Generic Multicast Algorithmsfor Wide Area Networks Documento
-
Formalização de workflow nets utilizando Lógica Linear: análise qualitativa e quantitativa Documento
-
Formalização e validação de aplicações de captura e acesso em ambientes educacionais ubíquos Documento
-
GAMIFICAÇÃO EM AMBIENTES EDUCACIONAIS UBÍQUOS Documento
-
GERAÇÃO AUTOMÁTICA DE MODELOS DE PROCESSO EM SISTEMAS DE WORKFLOW Documento
-
Geração de Regras de Decisão Fuzzy Utilizando a Teoria dos Rough Sets Documento
-
Gerenciamento Preditivo de Largura de Banda usando Redes Neurais (GPLNEURO) Documento
-
Gerenciamento de QoS para o Sistema Final com o uso do SNMP Documento
-
Greenow: um algoritmo de roteamento orientado a workspace para uma arquitetura de Internet do futuro Documento
-
HEURISTICAS E ALGORITMOS EVOLUTIVOS PARA FORMULACOES MONO E MULTIOBJETIVO DO PROBLEMA DO ROTEAMENTO MULTICAST Documento
-
Heuristicas aplicadas ao Problema de Roteamento de Tarefas Mult-objetivo Documento
-
Hq Feature: Descritores de Forma Utilizando a Curva de Hilbert Documento
-
INDIAM - UM SISTEMA DE ENSINO PARA AUXILIAR ESTUDANTES NA INTERPRETAÇÃO DE MAMOGRAFIAS E DIAGNÓSTICOS DE CÂNCER DE MAMA VIA WEB. Documento
-
INDIAM - Um sistema de ensino para auxiliar estudantes na interpretação de mamografias e diagnósticos de câncer de mama Documento
-
Identificação de Trajetórias Espaço-Temporais de Movimentos em Vídeo Documento
-
Implementação de um modelo de rede P2P no NS2 para compartilhamento de recursos genéricos Documento
-
Implementação e Avaliação do Protocolo de Difusão Atômica Rápida a Despeito de Colisões Documento
-
Improving visual analysis of streaming networks Documento
-
Incorporação de Múltiplos Representantes Auxiliares em Processos de Detecção de Agrupamentos Semi-supervisionados Documento
-
Indicadores de convergência e diversidade em algoritmos evolutivos para otimização multiobjetivo Documento
-
Inferindo Regras SE-ENTÃO em Datasets com Distribuição de Dados Não-linear Utilizando Algoritmos Genéticos Documento
-
Informação de Links no Modelo Vetorial usando uma Estrutura Funcional Documento
-
Integrando Técnicas de Planejamento apoiado em Inteligência Artificial e Workflow na geração de Modelos aplicados ao Ensino a Distância Documento
-
Inter-relação entre smells - uma análise de Large Class, Complex Class e Clone Documento
-
Investigação de métodos de aprendizagem e de representação de ambiente na construção de agentes jogadores: aplicação ao jogo FIFA Documento
-
LS-DRAUGHTS - Um Sistema de Aprendizagem de jogos de Damas baseado em Algoritmos Genéticos, Redes Neurais e Diferencas Temporais. Documento
-
Linguagens de Consulta para Banco de Dados com Suporte a Preferências Condicionais Documento
-
Linguagens de consulta para banco de dados com suporte a preferências condicinais Documento
-
MINERAÇÃO DE REGRAS PARA CLASSIFICAÇÃO DE ONCOGENES MEDIDOS POR MICROARRAY UTILIZANDO ALGORITMOS GENÉTICOS Documento
-
MNLAC: Uma Proposta de Modelagem de Fluxo de Navegação baseada em Lógica Modal Documento
-
MODELAGEM E ANÁLISE DE VIDEO GAMES USANDO AS WORKFLOW NETS E A LÓGICA LINEAR Documento
-
MODELO CRIPTOGRÁFICO BASEADO EM AUTÔMATOS CELULARES TRIDIMENSIONAIS HÍBRIDOS Documento
-
MP-Draughts - Um Sistema Multi-Agente de Aprendizagem Automática para Damas Baseado em Redes Neurais de Kohonen e Perceptron Multi-Camadas Documento
-
Marca d'água Digital - Uma Técnica para Verificação de Autenticidade ou Proteção de Direitos Autorais Documento
-
Mecanismo de alocação de recurso fuzzy para sistemas de gerenciamento de workflow Documento
-
Mecanismo de alocação de recursos fuzzy para sistemas de gerenciamento de workflow Documento
-
Mecanismos de autenticação e controle de acesso para uma arquitetura de Internet do Futuro. Documento
-
Meta - Modelo Funcional para Recuperação de Informação. Documento
-
Meta-Modelo Funcional Para Recuperação De Informação Baseado em Lambda-Cálculo Documento
-
Mineração de Padrões Seqüenciais com Dimensões Tempo-Variantes Documento
-
Mineração de Padrões Temporais Híbridos Especificados na Lógica Temporal de Intervalos Documento
-
Mineração de Padrões Temporalmente Variantes Documento
-
Mineração de Preferências Contextuais Fuzzy Documento
-
Mineração de Preferências Contextuais em Data Streams Documento
-
Mineração de preferências condicionais Documento
-
Mineração de soluções relevantes para tarefas de programação a partir de resultados de mecanismos de busca Documento
-
Mineração de Árvores com Restrições Documento
-
Modelagem de Requisitos de Software de Tempo-Real usando SysML e MARTE. Documento
-
Modelagem de software de tempo real utilizando o profile MARTE da UML Documento
-
Modelagem e Análise de Vídeo-game Usando as Workflow nets e a Lógica Linear Documento
-
Modelagem e Simulação de Processos Biológicos usando Redes de Petri Predicado Transição Diferenciais. Documento
-
Modelagem e Simulação de Sistemas de Gerenciamento de Processos de Negócios baseadas em Workflow net Temporais com Mecanismos de Alocação de Recursos Híbridos Fuzzy. Documento
-
Modelagem e análise de vídeo games baseadas em WorkFlow net e Grafos de estado Documento
-
Modelagem e simulação estocástica aplicada ao planejamento de capacidade de sistemas gateway de voz Documento
-
Modelo do estudante baseado em emoções e perfis de personalidade para recomendação de estratégias pedagógicas personalizadas. Documento
-
Modelos Baseados em Autômatos Celulares para o Planejamento de Robôs Autônomos Documento
-
Modelos de Criptografia da Chave Pública em Linguagem Funcional Cllean e Implicações da Computação Quantica Documento
-
Modelos de Criptografia de Chave Pública em Linguagem Funcional Clean e Implicações da Computação Quântica Documento
-
Modelos de Retoque Digital Utilizando Equações Diferenciais Parciais Documento
-
Método Computacional para Segmentação não Supervisionada de Imagens Histológicas de Linfoma Documento
-
Método Criptográfico Baseado em Autômato Celulares Bidimensionais para Cifragem de Imagens Documento
-
Método automático para detecção de nematóides em lavoura cafeeira usando imagens aéreas Documento
-
Método criptográfico baseado em autômatos celulares bidimensionais para cifragem de imagens Documento
-
Métodos Computacionais para Análise e Caracterização de Imagens de Embriões da Drosophila melanogaster Documento
-
Métodos Computacionais para Aprimoramento das Habilidades com as Emoções em Indivíduos com Autismo Documento
-
Métodos computacionais para análise de displasias orais em imagens histológicas Documento
-
Métodos de aprendizado de máquina para Inventário de Elementos de Vias de Trânsito Documento
-
Métodos para Aproximação Poligonal e o Desenvolvimento de Extratores de Características de Forma a partir da Função Tangencial. Documento
-
Métodos para segmentação nuclear e avaliação da expressão gênica em imagens sagitais de embriões de Drosophila melanogaster Documento
-
NEA: Arquitetura de elemento de rede SDN com suporte a MAC definido pela aplicação Documento
-
NOVAS ABORDAGENS NA EVOLUÇÃO DE TÔMATOS CELULARES APLICADOS AO ESCALONAMENTO DE TAREFAS EM MULTIPROCESSADORES Documento
-
Novas abordagens baseadas em autômatos celulares síncronos para o escalonamento estático de tarefas em multiprocessadores Documento
-
Novo método para geração de regras fuzzy utilizando uma extensão a teoria dos rough sets Documento
-
O Uso de Programação Orientada a Característica para Evolução de Linhas de Produto de Software Documento
-
O Uso de Programação Orientada a Características para Evolução de Linhas de Produtos de Software Documento
-
O Uso do Computador no Auxílio à Instrução Programada Documento
-
O impacto do uso de rastros de execução em atividades de localização de características de software: um experimento controlado. Documento
-
O uso da Divergência de Kullback-Leibler e da Divergência Generalizada como medida de similaridade em sistemas CBIR Documento
-
O uso de técnicas de realidade virtual distribuída para suporte a jogos educacionais multi-jogadores na internet. Documento
-
On Benchmarks of Bugs for Studies in Automatic Program Repair Documento
-
OntAES: Uma Ontologia para Sistemas Adaptativos Educacionais Baseada em Objetos de Aprendizagem e Estilos de Aprendizagem Documento
-
P-Datalog: Uma linguagem dedutiva para consulta a Banco de Dados com Inconsistencias Documento
-
P-Datalog: uma linguagem dedutiva para consultas a banco de dados com inconsistências Documento
-
PHOENIX - Um Framework para Projetos de Síntese de Alto Nível de Circuitos Digitais Documento
-
PREFREC: Uma Metodologia para Desenvolvimento de Sistemas de Recomendação Utilizando Algoritmos de Mineração de Preferências Documento
-
PROPOSTA DE UM SISTEMA DE APRESENTAÇÃO DE SENHAS EM AMBIENTES HOSTIS Documento
-
Padrões e Diretrizes Arquiteturais para Escalabilidade de Sistemas Documento
-
Peer-To-Peer com a Utilização de SCTP para Aplicativos de Compartilhamento de Arquivos Documento
-
Planejamento Instrucional para EAD utilizando Workflow e algoritmos genéticos Documento
-
Planejamento de Recursos para Jogos de Estratégia em Tempo Real Documento
-
Planejamento instrucional adaptativo usando workflow e planejamento genético Documento
-
Política de Segurança de Controle de Acesso Mandatário em Ambiente Cifrado Documento
-
Predição de Tráfego, Usando WT e ARIMA, Aplicada ao Gerenciamento Adaptativo de Largura de Banda para Interfaces de Roteadores Documento
-
Previsão Eficiente do Posicionamento Futuro de Nós em Redes Móveis Documento
-
Problema do Escalonamento em Tempo Real dos Sistemas de Gerenciamento de Workflow baseado em um modelo de rede de Petri híbrida p-temporal Documento
-
Programação Correta para Internet usanddo a Linguagem Funcional Pliant Documento
-
Programação Correta para Internet usando a Linguagem Funcional Pliant Documento
-
Proposta de Arquitetura de Um Media Gatway em uma Rede de Proxima Geração Documento
-
Proposta de Arquitetura de um Media Gateway em uma Rede de Próxima Geração Documento
-
Propriedades Decidíveis de Autômatos Celulares Finitos, Híbridos, Não-Lineares, Sensíveis e Reversíveis Documento
-
Protocolo para Emissão de Assinatura Digital utilizando Compartilhamento de Segredo Documento
-
Protocolos Criptográficos para Troca de Dados em Aplicação Baseadas em XML Documento
-
Protocolos Criptográficos para troca de Dados em Aplicações baseadas em XML Documento
-
Raciocínio baseado em casos para apoiar a formação de grupos baseada nos traços de personalidade do modelo Big Five Documento
-
Realimentação de relevância via algoritmos genéticos aplicada à recuperação de imagens Documento
-
Realização de trabalhos de laboratório online e utilização de materiais auto-normalizantes no ensino à distância Documento
-
Recomendação de Estratégias Pedagógicas Baseada em Emoções e Perfis de Personalidade em Ambientes Virtuais 3D Documento
-
Recomendação de conhecimento da multidão para auxílio ao desenvolvimento de software Documento
-
Recomendação de conhecimento disponível em sítios Q&A para auxílio ao desenvolvimento e depuração de software Documento
-
Reconhecimento de Faces via PCA - Análise de Desempenho Documento
-
Reconhecimento de atividades suspeitas em ambiente externo via análise de vídeo infravermelho. Documento
-
Recuperação de Imagens Digitais com Base na Distribuição de Características de Baixo Nível em Partições do Domínio Utilizando Índice Invertido Documento
-
Recuperação de Informação de Dados Semi - Estruturados utilizando o Modelo Vetorial Documento
-
Recuperação de Visão Estrutural de Software Combinando Análise de Semântica Estática e Latente Documento
-
Recuperação de imagens: similaridade parcial baseada em espectro de grafo e cor Documento
-
Regressão simbólica via programação genética: um estudo de caso com modelagem geofísica Documento
-
Representação do Espaço de Características por meio de Conjuntos Difusos Documento
-
Representações de algoritmos genéticos para o problema de escalonamento estático de tarefas em multiprocessadores Documento
-
Retoque Digital Documento
-
Retoque Digital Via Linhas de Nível Documento
-
Runlet: A cross-platform IoT tool for interactive job execution over heterogeneous devices with reliable message delivery Documento
-
Segmentação de imagens via competição entre regiões fuzzy abordagens paramétricas e não-paramétricas. Documento
-
Segurança em Redes Locais Sem Fios Documento
-
Sequenciamento e recomendação de ações pedagógicas baseados na Taxonomia de Bloom e no perfil RASI usando planejamento automatizado por algoritmo genético Documento
-
SiMCaPe - Sistema para a montagem de cariótipo de peixe baseado em conjuntos difusos Documento
-
Similaridade de formas via identificação e caracterização de saliências Documento
-
Similarity-based techniques for Visual Analysis of Surveillance Video Documento
-
Simulação Gráfica de Buracos Negros utilizando Sistemas de Partículas Documento
-
Sistema de recomendação de imagens baseado em atenção visual Documento
-
Slim+-tree- Método de Acesso Métrico Baseado em medidas de dispersão Documento
-
Software Architecture based on a Quality Model to Develop Service Oriented Applications Documento
-
Software failure prediction based on patterns of multiple-event failures Documento
-
StreamPref: Uma Linguagem de Consulta para Dados em Fluxo com Suporte a Preferências Documento
-
TSMA: Uma Arquitetura para Gerenciar a Sinalização de Trânsito Documento
-
Tamanho ótimo amostral e análise fatorial e correlacional do desempenho de indivíduos sob a influência de plataformas computacionais de apoio ao ensino Documento
-
Tecnicas de Analise Visual de Redes Temporais Documento
-
ToPI - uma abordagem online para identificar locais de interesse utilizando fotografias geo-referenciadas. Documento
-
Transformação de modelos SysML para UML usando a linguagem ATL Documento
-
TÉCNICAS DE WORKFLOW E PLANEJAMENTO APOIADO EM INTELIGÊNCIA ARTIFICIAL APLICADAS AO ENSINO A DISTÂNCIA Documento
-
Técnicas avançadas para análise visual de redes temporais Documento
-
Técnicas para compreensão de rastros de execução de programas orientados a objetos Documento
-
UAV-Multispectral Sensed Data Band Co-Registration Framework Documento
-
UM NOVO MÉTODO CRIPTOGRÁFICO BASEADO NO CÁLCULO DE PRÉ-IMAGENS DE AUTÔMATOS CELULARES CAÓTICOS, NÃO-HOMOGÊNEOS E NÃO ADITIVOS Documento
-
UMA ABORDAGEM PARA COMPREENSÃO DE PROGRAMAS BASEADA NA LOCALIZAÇÃO DE CARACTERÍSTICAS EM CÓDIGO FONTE. Documento
-
UMA PROPOSTA DE ASSINATURA DIGITAL PARA IMAGENS POR MEIO DE MARCA D`ÁGUA. Documento
-
UMA PROPOSTA DE CONSTRUÇÃO DE ÍNDICE INVERTIDO PARA RECUPERAÇÃO DE IMAGENS BASEADA EM CONTEÚDO Documento
-
UTILIZAÇÃO DAS TRANSFORMADAS WAVELETS NA EXTRAÇÃO DE CARACTERÍSTICAS INVARIANTES E NO RECONHECIMENTO DE PADRÃO Documento
-
Um Agente Jogador de Go com Busca em Árvore Monte-Carlo Aprimorada por Memória Esparsamente Distribuída Documento
-
Um Algoritmo Força Bruta para Avaliação de Desempenho da Minimização de Handovers Intra-VPON em VCRAN Documento
-
Um Estudo Quantitativo sobre a Variabilidade dos Tempos de Execução de Programas em Experimentos Computacionais Documento
-
Um Método de Acesso ao Meio para Suporte a Arquiteturas de Internet do Futuro Documento
-
Um Novo Método de Indexação para Consultas por Similaridade Utilizando Mapeamentos Unidimensionais Baseados em Focos Globais Documento
-
Um Orquestrador Flexível de Recursos de Rede e Computação pra aprimoramento de Qualidade de Serviço (QoS) em Aplicações Multimídia Baseadas em Funções Virtualizadas de Rede (NFV) Documento
-
Um Sistema Inteligente Multiagente para Educação a Distancia Apoiado em Web Documento
-
Um estudo exploratório sobre padrões de falhas de software de sistemas operacionais Documento
-
Um estudo quantitativo sobre o uso de herança e interface em sistemas Java Documento
-
Um modelo de Recuperação de Imagens por conteúdo através da quantização do espectro de Fourier Documento
-
Um novo método criptográfico baseado no cálculo de pré-imagens de autômatos celulares caóticos, não-homogêneos e não-aditivos Documento
-
Um protocolo Criptografico para acesso a base de dados cifrado Documento
-
Uma Abordagem Complementar à Tradução de Endereços para Conectividade Transparente Documento
-
Uma Abordagem Filtragem Colaborativa Integrada a Mapas de Saliência para a Recomendação de Imagens Documento
-
Uma Abordagem Híbrida Baseada em Redes Bayesianas e Ontologias para Modelagem do Estudante em Sistemas Adaptativos e Inteligentes para Educação Documento
-
Uma Abordagem de Fatiamento de Rede entre Múltiplos Sistemas Autônomos Documento
-
Uma Abordagem para Avaliar o Desempenho de Algoritmos Baseada em Simulações Automáticas de Modelos de Redes de Petri Coloridas Hierárquicas. Documento
-
Uma Abordagem para Maximização da Produção de Recursos em Jogos RTS Documento
-
Uma Arquitetura de Uso Geral baseada em Planejamento Probabilístico para Agentes Completos em Jogos de Estratégia em Tempo Real Documento
-
Uma Avaliação Quantitativa de Módulos de Características Aspectuais para Evolução de Linhas de Produtos de Software Documento
-
Uma Extensão do Protocolo SET para Acesso a Base de Dados Cifrados Documento
-
Uma Nova Abordagem de Aprendizagem de Máquina Combinando Elicitação Automática de Casos, Aprendizagem por Reforço e Mineração de Padrões Sequenciais Para Agentes Jogadores de Damas Documento
-
Uma Proposta de Melhoria no Processo de Recuperação de Imagens Digitais com Base na Distribuição de Características de Baixo Nível em Partições do Domínio Utilizando Índice Invertido Documento
-
Uma Proposta para Auto-Configuração Especializada de Elementos de Borda em Redes SDN Utilizando a Arquitetura SONAr Documento
-
Uma Regra de Sincronização Baseada na Lógica Linear para Prevenção de Deadlock em WorkFlow nets Interorganizacionais Documento
-
Uma abordagem apoiada em portfólio de planejadores probabilísticos aplicada ao mercado financeiro Documento
-
Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer Documento
-
Uma abordagem baseada num Jogador de redes de Petri p-temporal e no cálculo de sequentes da Lógica Linear para a verificação de cenários de Sistemas Tempo Real especificados através de diagramas dinâmicos da UML Documento
-
Uma abordagem híbrida apoiada por algoritmo bioinspirado e tecnologias de web semântica para recomendação personalizada de objetos de aprendizagem Documento
-
Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos Documento
-
Uma abordagem para melhorar o desempenho de agentes automáticos que operam em ambientes competitivos por meio de informações semânticas sobre mudanças de comportamento do oponente Documento
-
Uma arquitetura com suporte a módulos dinâmicos para WebLab no domínio de redes de computadores Documento
-
Uma arquitetura computacional para autoria e personalização de objetos de aprendizagem em ambientes educacionais ubíquos Documento
-
Uma estratégia visual para análise e exploração da evolução das condições de trabalho no Brasil. Documento
-
Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade Documento
-
Uma proposta de interface de consulta para recuperação de informação em documentos semi-estruturados Documento
-
User Preference Dynamics - Learning, Modeling and Prediction Documento
-
Uso das Transformadas Wavelets para Compactação dos Streams de Áudio Documento
-
Uso de saliências do contorno via esqueletização para recuperação de imagens Documento
-
Utilização das transformadas Wavelets na extração de características e no reconhecimento de padrão em um sinal de ECG Documento
-
Utilização de Métodos de Registros não Rígidos para Análise de Disfunções Pélvicas em Imagens Médicas Documento
-
Utilização de equações diferenciais parciais para eliminação de ruídos e detecção de bordas Documento
-
VISTREE: UMA LINGUAGEM VISUAL PARA A ANÁLISE DE PADRÕES ARBORESCENTES E PARA A ESPECIFICAÇÃO DE RESTRIÇÕES EM UM AMBIENTE DE MINERAÇÃO DE ÁRVORES Documento
-
Verificação de Requisitos Funcionais e não Funcionais em Arquiteturas Orientadas a Serviços Documento
-
VisionDraughts - Um Sistema de Aprendizagem de Jogos de Damas Baseado em Redes Neurais, Diferenças Temporais, Algoritmos Eficientes de Busca em Árvores e Informações Perfeitas Contidas em Bases de Dados Documento
-
Visualização de software baseada em uma metáfora do universo utilizando o conjunto de métricas CK Documento
-
WebLab SOA no Domínio de Redes de Computadores para Experimentos DiffServ Documento
-
WebLab SOA no Domínio de Redes de Computadores para Experimentos DiffServ Documento
-
WorkFlow net Possibilística aplicada aos Sistemas de Gerenciamento de Processos de Negócios Flexíveis. Documento
-
Workflow com Técnicas de Planejamento Apoiado em Inteligência Artificial Documento
-
Workflow net possibilística para problemas de não conformidade em processos de negócios Documento
-
Árvore de Características e Redes de Petri Colorida com expressões da Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação Documento
-
Árvore de características de rede de petri colorida com expressões da lógica proposicional: propostas de modelagem de requisitos e fluxo de navegação Documento
Pesquisas
Contato
telefone
endereço de email
Identidade