Neste trabalho, empregamos uma câmera acoplada a um robô em movimento sobre um trilho retilíneo para detectar, em tempo real, objetos abandonados em um amb...

• Gustavo Carvalho
• José F. L. de Oliveira
• Eduardo A. B. da Silva
• Sergio L. Netto
• Gustavo Freitas
• Gabriel C. Motta-Ribeiro
• Ramon R. Costa

• Câmera em movimento
• detecção de objeto
• tempo real
• ambiente desordenado
• visão computacional

SBrT 2013

This work addresses a method of eliminating blind zones and range ambiguity in monostatic pulsed radar systems. It is employed a combined use of Noise Rada...

• Bruno Pompeo
• Leandro Pralon
• Gabriel Beltrão

• radar systems
• noise radar
• waveform
• pulse repetition frequency

SBrT 2013

O presente artigo descreve uma abordagem de verificação de possíveis defeitos em códigos Lua, através da ferramenta Bounded Model Checker. Tal abordagem tr...

• Francisco de A. P. Januário
• Lucas Cordeiro
• Eddie B. L. Filho

• TV Digital
• Verificação de modelos
• Lua

SBrT 2013

In the digital signal processing area, one of the most important tasks is the digital filter design. Currently, this procedure is performed with the aid of c...

• Mauro L. de Freitas
• Mikhail Y. R. Gadelha
• Lucas Cordeiro
• Waldir S. S. Júnior
• Eddie B. L. Filho

• ESBMC
• Model checking
• Digital Filters
• Frequency Response
• overflow

SBrT 2013

The implementation of digital filters in processors based on fixed-point arithmetic can lead to problems related to the finite word-length. In particular, ...

• Renato B. Abreu
• Lucas Cordeiro
• Eddie B. L. Filho

• fixed-point filters
• formal methods
• bounded model checking.

SBrT 2013