Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos

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

Saiba mais »

Projeto de Consolidação das Atividades de Pesquisa no Programa de Pós-Graduação em Modelagem Computacional de Conhecimento.

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

Saiba mais »

ALFA LerNET

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

Saiba mais »

Identificação de Comportamento Malicioso em Redes Sociais

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

Saiba mais »

Inductive Queries for Mining Patterns and Models

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

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo