2004 search results - page 155 / 401 » Comparison of Model Checking Tools for Information Systems |
159
click to vote
SMI
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...
157
Voted
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
It is becoming increasingly important to be able to credential and identify authorized personnel at key points of entry. Such identity management systems commonly employ biometric...
119
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
147
Voted
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper studies two increasingly popular paradigms for image quality assessment - Structural SIMilarity (SSIM) metrics and Information Fidelity metrics. The relation of the SSI...
163
click to vote
ACL
2010
15 years 3 months ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...