3073 search results - page 132 / 615 » Real World Verification |
TEI
2012
ACM
12 years 5 months ago
2012
ACM
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
ICCV
2007
IEEE
15 years 3 days ago
2007
IEEE
In this paper we study face recognition across ages within a real passport photo verification task. First, we propose using the gradient orientation pyramid for this task. Discard...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
AADEBUG
2005
Springer
14 years 3 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
CACM
2010
13 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...