172 search results - page 20 / 35 » Validating SDL Specifications: an Experiment |
147
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
In contrast with the current Web search methods that essentially do document-level ranking and retrieval, we are exploring a new paradigm to enable Web search at the object level....
189
click to vote
CVPR
2009
IEEE
17 years 29 days ago
2009
IEEE
Oriented patterns, e.g. fingerprints, consist of smoothly
varying flow-like patterns, together with important singular
points (i.e. cores and deltas) where the orientation change...
176
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
We simultaneously approach two tasks of nonlinear discriminant analysis and kernel selection problem by proposing a unified criterion, Fisher+Kernel Criterion. In addition, an eff...
178
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We present a new technique to recover the shape of an unknown smooth specular surface from a single image. A calibrated camera faces a specular surface reflecting a calib...
156
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...