4340 search results - page 706 / 868 » Formal Methods and Cryptography |
183
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
134
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
The popular bag-of-features representation for object recognition collects signatures of local image patches and discards spatial information. Some have recently attempted to at l...
116
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
With the emergence of new applications centered around the sharing of image data, questions concerning the protection of the privacy of people visible in the scene arise. Recently...
149
click to vote
ICCV
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper we propose a general framework to solve the articulated shape matching problem, formulated as finding point-to-point correspondences between two shapes represented b...
145
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
I n this paper, we propose the use of mirrors and a single camerafor computational stereo. Whencompared to conventional stereo systems that use two cameras, our method has a numbe...