This paper presents an introduction to the Support Vector Machines (SVMs), a Machine Learning technique that has received increasing attention in the last years. The SVMs have been applied to several pattern recognition tasks, obtaining results superior to those of othe...

Neste artigo, propomos uma abordagem para estimacao da probabilidade de perda de bytes em enlaces de redes de computadores considerando propriedades multifractais dos fluxos de trafego. Mais especificamente, deduzimos uma expressao matematica para o calculo da probabili...

<jats:p>Nestetrabalhoéapresentadoumestudosobremodeloscomputacionais epidemiológicos enfocando o tipo Suscetível-Infectado-Removido, SIR, e diferentes estratégias de solução à simulação computacional da propagação de doenças transmissíveis. Mostra-se que modelos baseados...

Neste trabalho, apresentamos um estudo teorico sobre problemas de otimizacao NP-dificeis de cortes em grafos e o estado da arte de algoritmos de aproximacao que fazem uso de tecnicas de programacao matematica e de espacos metricos. Tres problemas de cortes em grafos for...

O OVM ( Orthogonal Variability Model ) tem sido adotado para definir e documentar as variabilidades de uma linha de produto de software (LPS), e para derivar produtos para teste. Dado o enorme espaco de variabilidades da maioria das aplicacoes, criterios de teste basead...

Este trabalho apresenta e discute resultados decorrentes de um experimento computacional em que o espalhamento da Influenza foi modelado a partir da concepcao de modelos compartimentais tipo SIRS, empregando a abordagem de agentes baseados em modelos. Simulou-se o proce...

The goal of this work is to provide attendees with a survey of topics related to Heritage Preservation and Digital Archeology, which are challenging and motivating subjects to both computer vision and graphics community. These issues have been gaining increasing attenti...

Este trabalho apresenta um arcabouco para o desenvolvimento de algoritmos da analise formal de conceitos (AFC). Seu principal componente e um gerador de contextos formais sinteticos cujos parâmetros podem ser ajustados de forma a permitir testar os algoritmos em situaco...

O treinamento de procedimentos medicos pode ser beneficiado com o uso de ambientes virtuais interativos que simulam com realismo as acoes do usuario. A simulacao deve emitir respostas rapidas relativas ao encontro de objetos, deformacao, restricao de movimento ou mesmo ...

UML and Simulink are attractive languages for embedded systems design and modeling. An automatic mapping from UML models to Simulink would be an interesting resource in a seamless design flow, allowing designers to use UML as modeling language for the whole system and a...