2312 search results - page 52 / 463 » Invariance in Property Testing |
SAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
ACIVS
2006
Springer
14 years 3 months ago
2006
Springer
This paper deals with concealment of motion blur in image sequences. The approach is different from traditional methods, which attempt to deblur the image. Our approach utilizes t...
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
This paper presents a new keypoint-based approach to nearduplicate images detection. It consists of three steps. Firstly, the keypoints of images are extracted and then matched. S...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...