Sciweavers

2898 search results - page 262 / 580
» Robust Algorithms for Object Localization
Sort
View
POPL
2006
ACM
16 years 7 months ago
A fixpoint calculus for local and global program flows
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
ICCV
2009
IEEE
16 years 9 months ago
Image Saliency by Isocentric Curvedness and Color
In this paper we propose a novel computational method to infer visual saliency in images. The method is based on the idea that salient objects should have local characteristics tha...
Roberto Valenti
ICRA
1999
IEEE
106views Robotics» more  ICRA 1999»
15 years 11 months ago
Haptic Exploration of Fine Surface Features
In this paper we consider the detection of small surface features, such as ridges and bumps, on the surface of an object during dextrous manipulation. First we review the represen...
Allison M. Okamura, Mark R. Cutkosky
ISVC
2009
Springer
16 years 1 months ago
Deconvolving Active Contours for Fluorescence Microscopy Images
Abstract. We extend active contours to constrained iterative deconvolution by replacing the external energy function with a model-based likelihood. This enables sub-pixel estimatio...
Jo A. Helmuth, Ivo F. Sbalzarini
ICCV
2007
IEEE
16 years 8 months ago
Synthetic Aperture Tracking: Tracking through Occlusions
Occlusion is a significant challenge for many tracking algorithms. Most current methods can track through transient occlusion, but cannot handle significant extended occlusion whe...
Neel Joshi, Shai Avidan, Wojciech Matusik, David J...