Skip to content

Sociedade Brasileira de Telecomunicações


Verifying Fixed-Point Digital Filters using SMT- Based Bounded Model Checking

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

SBrT 2013


Vertical Handoff Algorithms for Heterogeneous 3G Networks

One of main challenges of fourth generation wireless networks (4G) will be the integration of various mobile technologies such as CDMA 1xEV-DO RA, UMTS/HSDP...

SBrT 2010


Vessel Classification through Convolutional Neural Networks using Passive Sonar Spectrogram Images

Vessel classification is an extremely important task for coastal areas security and surveillance. Currently, this task relies on Synthetic Aperture Radar (...

SBrT 2018


Vídeo com Ponto De Vista Livre Usando Decodificador em Rede

Vídeos multi-vistas podem ser utilizados para difusão do conteúdo de sistemas de ponto de vista livre, o que requer uma grande banda de transmissão e uma alt...

SBrT 2012


Video Quality Assessment Based on the Effect of the Estimation of the Spatial Perceptual Information

The objective video quality assessment is a quick and low cost alternative compared with the subjective evaluation. However, the objective evaluation is no...

SBrT 2012