Sciweavers

299 search results - page 39 / 60
» Comparing subjective video quality testing methodologies
Sort
View
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 6 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...
ATAL
2008
Springer
15 years 4 months ago
AGENTFLY: a multi-agent airspace test-bed
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
David Sislák, Premysl Volf, Stepán K...
120
Voted
CVPR
2001
IEEE
16 years 4 months ago
A Nonparametric Statistical Comparison of Principal Component and Linear Discriminant Subspaces for Face Recognition
The FERET evaluation compared recognition rates for different semi-automated and automated face recognition algorithms. We extend FERET by considering when differences in recognit...
J. Ross Beveridge, Kai She, Bruce A. Draper, Geof ...
ICMI
2005
Springer
429views Biometrics» more  ICMI 2005»
15 years 8 months ago
A first evaluation study of a database of kinetic facial expressions (DaFEx)
In this paper we present DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the facial expressivity of Embo...
Alberto Battocchi, Fabio Pianesi, Dina Goren-Bar
133
Voted
EGH
2010
Springer
15 years 17 days ago
GPU random numbers via the tiny encryption algorithm
Random numbers are extensively used on the GPU. As more computation is ported to the GPU, it can no longer be treated as rendering hardware alone. Random number generators (RNG) a...
Fahad Zafar, Marc Olano, Aaron Curtis