169 search results - page 28 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
ICCV
2005
IEEE
15 years 8 days ago
2005
IEEE
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
DAC
1999
ACM
14 years 11 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
WSCG
2004
13 years 11 months ago
2004
Inverse rendering infers realistic descriptions of illumination and material properties from photographs. However, the applicability of state of the art inverse rendering algorith...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...