Programação
| Quinta-feira, 06 de Fevereiro | |
|---|---|
| 08:30 - 09:00 | Credenciamento, recepção, inscrições |
| 09:00 - 09:30 | Abertura |
| 09:30 - 10:00 |
Descoberta automática de atributos salientes para obtenção de macro-ações |
| 10:00 - 11:00 | Tutorial, parte 1: Desenvolvimento e verificação mecanizada de programas, auxiliados por assistentes de prova interativos - fundamentação teórica e aplicações Marcus Vinícius Midena Ramos |
| 11:00 - 11:15 | Coffee break |
| 11:15 - 11:45 | Linguístico: Uma Proposta de Reconhecedor Gramatical Usando Tecnologia Adaptativa Djalma Padovani, Ana Contier, João José Neto |
| 11:45 - 12:15 | Aplicação da Tecnologia Adaptativa e Reflexão Computacional por meio da programação reflexiva em Java Diego Augusto Passareli, Almir Rogério Camolesi, Diomara Martins Reigato Barros |
| 12:15 - 12:45 | Um Metamodelo para Programas Adaptativos Utilizando SBMM Sergio Canovas, Carlos Cugnasca |
| 12:45 - 13:15 | Towards an Adaptive Internet of Things Architecture Leonardo Barreto Campos, Carlos Cugnasca |
| 13:15 - 14:30 | Almoço |
| 14:30 - 15:00 | Software adaptável ao cálculo de Satisfazibilidade Probabilística Celso Barros, Fabio Cozman |
| 15:00 - 15:30 | Análisis de métodos para el reconocimiento de patrones en ECG Nahuel Gonzalez, Fernando Lage, Olaf Gawron |
| 15:30 - 16:00 | Semi-Global Alignment of Lines and Columns for Robust Table Extraction from periodic PDF Documents Jorge Kinoshita |
| 16:00 - 16:30 | AWARE - um ambiente para estudo e visualização de processos adaptativos João Kogler, Ian Oliveira, Emilio Hernandez |
| 16:30 - 17:00 | Coffee break |
| 17:00 - 17:30 | epsilon-Greedy Adaptativo Alexandre Dos Santos Mignon, Ricardo Luis de Azevedo Da Rocha |
| 17:30 - 18:00 |
Predição de Tempo de Compilação e Tamanho de Código em Máquinas Virtuais |
| 18:00 - 18:30 | Processos Markovianos de Decisão com heurísticas, junção de abordagens backward e forward para transferência de conhecimento baseados em políticas Rodrigo Garcia Pontes, Valdinei Silva |
| 18:30 | Encerramento |
| Sexta-feira, 07 de Fevereiro | |
| 08:00 - 08:30 | Credenciamento, recepção, inscrições |
| 08:30 - 09:00 | Classificação automática de frutas por análise de imagem - o caso da manga Tommy Atkins Joelson Carvalho, Edmar Gurjão, Mário Mata, Elita Duarte |
| 09:00 - 09:30 | Adaptive Product Classification for Online Marketplace Based on Semantic Analysis Tacio Filipe V. Medeiros, Fabio Gagliardi Cozman |
| 09:30 - 10:00 | Oportunidades de uso da Adaptatividade em um SPLN para criação de atividades de leitura José Lopes Moreira Filho, Zilda Maria Zapparoli |
| 10:00 - 11:00 | Tutorial, parte 2: Desenvolvimento e verificação mecanizada de programas, auxiliados por assistentes de prova interativos - fundamentação teórica e aplicações Marcus Vinícius Midena Ramos |
| 11:00 - 11:15 | Coffee break |
| 11:15 - 11:45 | Adaptive Programming in Cyan José Guimarães, Paulo Roberto Massa Cereda |
| 11:45 - 12:15 | An Adaptive Approach for Error-Recovery in Structured Pushdown Automata João José Neto, Hemerson Pistori, Amaury Castro Jr., Marcelo Borth |
| 12:15 - 12:45 | Swarm Robotics: comportamento Adaptativo Aplicado ao problema de dispersão de pássaros em áreas agrícolas Alexsandro Procopio Da Silva, Reginaldo Inojosa Da Silva Filho, Fabrício Augusto Rodrigues |
| 12:45 - 13:30 | Apresentações de software |
| 13:30 - 14:30 | Almoço |
| 14:30 - 15:00 | Persistência em dispositivos adaptativos Paulo Roberto Massa Cereda, João José Neto |
| 15:00 - 15:30 | Proposal of modification of the DJ Library for implementing Adaptive Technology Rosalia Edith Caya Carhuanina, João José Neto |
| 15:30 - 16:00 | Estudo preliminar sobre a aplicação da adaptatividade em linguagens de programação imperativas Diego Queiroz, Ricardo L. A. Rocha |
| 16:00 - 18:00 | Mesa redonda |
| 18:00 | Encerramento |
