2006 search results - page 365 / 402 » Testing with Respect to Concerns |
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Recently, the wide deployment of practical face recognition systems gives rise to the emergence of the inter-modality face recognition problem. In this problem, the face images in ...
GIS
2004
ACM
14 years 9 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Proton computed tomography (pCT) has the potential to improve the accuracy of proton treatment planning, which is currently based on x-ray computed tomography (xCT). However, at t...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...