Sciweavers

2509 search results - page 176 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ECCV
2008
Springer
15 years 8 months ago
Active Matching
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
Margarita Chli, Andrew J. Davison
WALCOM
2007
IEEE
82views Algorithms» more  WALCOM 2007»
15 years 7 months ago
Methods for Searching Mutual Visible-Intervals on Moving Object
Abstract. Computing visible information, such as a visible surface determination, is a significant problem and has been mainly studied in the fields of computational geometry and...
Yoshiyuki Kusakari, Yuta Sugimoto, Junichi Notoya,...
SPIN
2009
Springer
16 years 1 months ago
Subsumer-First: Steering Symbolic Reachability Analysis
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Andrey Rybalchenko, Rishabh Singh
CVPR
2006
IEEE
16 years 8 months ago
Wire Structure Pattern Extraction and Tracking From X-Ray Images of Composite Mechanisms
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
David Tschumperlé, Jalal Fadili
ICCV
2005
IEEE
16 years 8 months ago
Neighborhood Preserving Embedding
Recently there has been a lot of interest in geometrically motivated approaches to data analysis in high dimensional spaces. We consider the case where data is drawn from sampling...
Xiaofei He, Deng Cai, Shuicheng Yan, HongJiang Zha...