134 search results - page 15 / 27 » Practical Collisions for EnRUPT |
AIPR
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
The level of security provided by digital rights management functions and cryptographic protocols depend heavily on the security of an embedded secret key. The current practice of...
ANTSW
2008
Springer
13 years 9 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
When a Semantic Web application encounters a new URI in an RDF statement, how should it determine what resource that URI is intended to denote, and learn more about it? Since asser...
FORTE
2004
13 years 9 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...