SBC - Biblioteca Digital

:: PUBLICAÇÕES

Letter from the Editor - in - Chief

Autor(es): Jaelson Freire Brelaz de Castro

Palavras-chave: Letter from the Editor

[ resumo

]

[ 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

[ resumo

]

[ 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.

[ resumo

]

[ 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.

[ resumo

]

[ 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.

[ resumo

]

[ download (189 Kb) ]

Behavioural Specification of Middleware Systems

Autor(es): Nelson Souto Rosa , Paulo Cunha

Palavras-chave: Middleware, LOTOS, Software Architecture, Formalisation.

[ resumo

]

[ download (2402 Kb) ]