4272 search results - page 685 / 855 » A Case for Automatic System Evaluation |
165
click to vote
ICIP
2007
IEEE
15 years 10 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...
186
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
182
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
133
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
150
click to vote
SPIEVIP
2008
15 years 9 months ago
2008
In this work we propose a method for securing port facilities which uses a set of video cameras to automatically detect various vessel classes moving within buffer zones and off-l...