4276 search results - page 304 / 856 » Techniques for Empirical Validation |
155
click to vote
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
We present a technique for local image representation that is invariant to viewpoint for scenes with arbitrary non-planar shape. We show that generic viewpoint invariance can be a...
215
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...
157
click to vote
MEMOCODE
2005
IEEE
16 years 10 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
165
click to vote
APGV
2005
ACM
16 years 9 days ago
2005
ACM
We present a post-processing technique that selectively reduces the salience of distracting regions in an image. Computational models of attention predict that texture variation i...
195
click to vote
CIARP
2004
Springer
16 years 4 days ago
2004
Springer
Intravascular Ultrasound images represent a unique tool to analyze the morphological vessel structures and make decisions about plaque presence. Texture analysis is a robust way to...