593 search results - page 54 / 119 » Semantics-Preserving Procedure Extraction |
125
click to vote
ICCAD
2008
IEEE
16 years 6 days ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
100
click to vote
SP
2008
IEEE
15 years 9 months ago
2008
IEEE
Eavesdropping on electronic communication is usually prevented by using cryptography-based mechanisms. However, these mechanisms do not prevent one from obtaining private informat...
180
Voted
WAPCV
2007
Springer
15 years 9 months ago
2007
Springer
The innovation of this work is the provision of a system that learns visual encodings of attention patterns and that enables sequential attention for object detection in real world...
122
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...
115
Voted
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
Although analogue phonograph recordings (LPs) have long shelf lives, there are many reasons for initiating research into proper procedures for their digital preservation. In order...