Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

Este projeto tem por objetivo criar as condições ideais para a consolidação das atividades de pesquisa no âmbito do Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL) através de ações tendentes a (i) melhorar a infra-estrutura computacional de seus laboratórios de pesquisa, (ii) ampliar

LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme.  Integrantes: Carlos Camarão de Figueiredo – Integrante / Luis Soares Barbosa – Coordenador

O objetivo deste trabalho é identificar comportamentos maliciosos existentes em redes sociais online, voltadas para o compartilhamento de vídeo como Videolog e Youtube. Uma vez caracterizado o comportamento malicioso em redes sociais, o projeto visa formular algoritmos específicos para identificar usuários que praticam spam (i.e, spammers) e algoritmos para combater

O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação.  Integrantes: Luiz

O objetivo principal deste projeto é caracterizar o tráfego gerado por usuários de aplicações de armazanamento de dados de nuvem. Mais precisamente, busca-se comparar perfis de usuários de diferentes regiões (Europa e Brasil) bem como de usuários em ambientes acadêmicos e em ambientes comerciais. A análise irá considerar, também, usuários

This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf

Grande parte do papel integrador que a Computação exerce em relação a outras áreas de pesquisa decorre dos recursos desenvolvidos na área ao longo do tempo para armazenar, acessar, manipular, gerenciar, integrar e analisar grandes volumes de dados, gerando informação e conhecimento. No entanto, não existe na atualidade um equilíbrio

O propósito deste projeto é dar continuidade à pesquisa nas áreas de Robótica e Visão Computacional com o apoio de recursos do presente edital FAPEMIG 03/2010 — Programa Pesquisador Mineiro — PPM IV. Em particular, serão investigados problemas relacionados à inserção de robôs autônomos e semi-autônomos em ambientes externos, isto