| Home | Sobre o Sistema |
Busca rápida:
:: PUBLICAÇÕES

Letter from the Editor - in - Chief
Autor(es): Jaelson Freire Brelaz de Castro
Palavras-chave: Letter from the Editor
[   ] [ download (52 Kb) ]
A maximum uncertainty LDA-based approach for limited sample size problems – with application to face recognition
Autor(es): Carlos E. Thomaz , Edson C. Kitani , Duncan Fyfe Gillies
Palavras-chave: Linear Discriminant Analysis (LDA); small sample size; face recognition
[   ] [ download (836 Kb) ]
A Fast and Accurate Approach for Computing the Dimensions of Boxes from Single Perspective Images
Autor(es): Leandro A. F. Fernandes , Manuel M. Oliveira , Roberto da Silva , Gustavo J. Crespo
Palavras-chave: Computing dimensions of boxes, imagebased metrology, extraction of geometric information from scenes, uncertainty analysis, real time.
[   ] [ download (567 Kb) ]
On Synthesizing Test Cases in Symbolic Real-time Testing
Autor(es): Ahmed Khoumsi
Palavras-chave: Test cases synthesis, real-time test, symbolic test,timed input output symbolic automata,test architecture.
[   ] [ download (284 Kb) ]
Muta-Pro: Towards the Definition of a Mutation Testing Process
Autor(es): Auri Marcelo Rizzo Vincenzi , A. S. Simão , Marcio Eduardo Delamaro , José Carlos Maldonado
Palavras-chave: Mutation Testing, Mutation Testing Process, Testing Environment.
[   ] [ download (189 Kb) ]
Behavioural Specification of Middleware Systems
Autor(es): Nelson Souto Rosa , Paulo Cunha
Palavras-chave: Middleware, LOTOS, Software Architecture, Formalisation.
[   ] [ download (2402 Kb) ]
Copyright 2005 - 2010 © Sociedade Brasileira de Computação