1190 search results - page 70 / 238 » You are There |
ICIP
2007
IEEE
13 years 12 months ago
2007
IEEE
The aim of an objective image quality assessment is to find an automatic algorithm that evaluates the quality of pictures or video as a human observer would do. To reach this goal...
APCHI
2004
IEEE
13 years 12 months ago
2004
IEEE
APN
2006
Springer
13 years 12 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
CCS
2006
ACM
13 years 12 months ago
2006
ACM
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...