3136733 documents found, page 8786 of 313674
Multimad: uma ferramenta multimodelo de desenvolvimento de aplicações para disp...
Thiago Henrique de Paula FigueiredoEsta dissertação apresenta o MultiMAD (Multimodel Mobile Application Development Tool, Ferramenta Multimodelo de Desenvolvimento de Aplicações para Dispositivos Móveis), uma ferramenta de desenvolvimento rápido especializada em dispositivos móveis. Ela provê uma interface gráfica na qual uma aplicação é descrita a partir de blocos de construção que podem ou não ser específicos para um determinada plataforma de ...
Monitoração de tráfego par-a-par em tempo real
Tiago Alves MacambiraO tráfego devido a aplicações P2P tem aumentado consideravelmente nos últimos anos e, apesar de ser hoje o responsável pela maior parte de todo o tráfego da Internet, não existem muitas ferramentas que auxiliem na monitoração e portanto no entendimento desse tráfego, tanto sob um ponto de vista acadêmico como sob um ponto de vista prático. Nesse trabalho abordamos as dificuldades em se construir umasolução que ...
Calibração de fontes de luz pontuais baseada em sombras
Vilar Fiuza da Camara NetoA maioria das pesquisas feitas sobre calibração de fontes de luz pontuais baseiam-se no modelo de fontes distantes, isto é, se propõem a determinar a direção de um iluminante localizado a uma distância infinita da cena. Esse modelo é conveniente principalmente para as aplicações baseadas na iluminação solar, mas revela-se inadequado quando os iluminantes estão em uma distância relativamente próxima da cena - si...
Alinhamento espaço-temporal de sequências de vídeo capturadas a partir de múlti...
Flavio Luis Cardeal PaduaEsta tese aborda o problema de se estimar o alinhamento espaço-temporal entre N sequências de vídeo não-sincronizadas referentes à mesma cena dinâmica 3D e capturadas a partir de pontos de vista distintos. Diferentemente dos métodos existentes, os quais funcionam somente para N = 2, este trabalho apresenta uma abordagem inovadora que reduz o problema caracterizado por um N qualquer ao problema de se estimar uma...
Um algoritmo híbrido para os problemas de roteamento de veículos estático e din...
Guilherme Bastos AlvarengaO Problema de Roteamento de Veículos com Janela de Tempo (PRVJT) estático é um dos problemas bem conhecidos em otimização combinatória que mais tem recebido atenção nos últimos anos. O objetivo do problema é planejar rotas para uma frota de veículos, sem violação das restrições de tempo e capacidade, minimizando custos. Os custos normalmente estão relacionados à distância total percorrida, ao número de veículos...
Data fusion implementation in sensor networks applied to health monitoring
Hervaldo Sampaio CarvalhoNos últimos anos o grande desenvolvimento dos sistemas de comunicação e a miniaturização e evolução tecnológica dos sistemas de hardware permitiram o desenvolvimento de novas aplicações. A área de redes de sensores é uma destas novas aplicações. As aplicações em rede de sensores se caracterizam pela presença de inúmeros sensores (nodos) de uma rede de comunicação sem fio, com limite de alcance do sinal e limita...
Modelagem automática de cenas com iluminação local a partir de imagens
Jose Pinheiro de Queiroz NetoEsta tese trata do problema de adquirir os modelos de uma cena a partir de imagens, onde a correspondência entre as intensidades dos pixels das imagens e as cores reais da cena não podem ser explicadas a partir de um modelo de iluminação local da interação da luz com a cena. Mais especificamente, o problema é abordado em dois casos particulares tratados em cenários distintos.No primeiro caso, têm-se cenas subme...
Um verificador de modelos explícito-simbólico
Umberto Souza da CostaNeste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelagem proposta tem como objetivo combinar as técnicas explícitas e simból...
Um novo modelo de ordenação de documentos baseados em correlação entre termos
Bruno Augusto Vivas e PossasNeste trabalho apresentamos uma nova abordagem para a ordenação de documentos a partir do modelo de espaço vetorial. A sua originalidade apresenta-se em dois pontos principais: Primeiro, padrões de correlação entre os termos são levados em consideração e processados de forma eficiente. Segundo, a ponderação dos termos é baseada em uma técnica de mineração de dados chamada de regras de associação. A partir desse...
LOCUS: um sistema de localização geográfica através de referências espaciais in...
Ligiane Alves de SouzaUma referência espacial indireta é qualquer elemento textual capaz de identificar um lugar sem fazer uso explícito de suas coordenadas geográficas. Nomes de lugares, endereços, códigos postais e números de telefone são alguns exemplos de referências espaciais indiretas. Um gazetteer é um dicionário de nomes de lugares. Sua utilidade é informar a localização geográfica de referências espaciais indiretas. Nos últ...