1716 search results - page 250 / 344 » Proving Conditional Termination |
156
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
141
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The geometric median is a classic robust estimator of centrality for data in Euclidean spaces. In this paper we formulate the geometric median of data on a Riemannian manifold as ...
125
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
It is well known that in order to calibrate a single camera with a one-dimensional (1D) calibration object, the object must undertake some constrained motions, in other words, it ...
118
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
Object tracking is a challenging problems in real-time computer vision due to variations of lighting condition, pose, scale, and view-point over time. However, it is exceptionally...
155
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
We prove that the set of all Lambertian reflectance functions (the mapping from surface normals to intensities) obtained with arbitrary distant light sources lies close to a 9D lin...