Sciweavers

2182 search results - page 43 / 437
» A pretopological approach for structural analysis
Sort
View
81
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 2 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
CVPR
2007
IEEE
15 years 11 months ago
Integrating Global and Local Structures: A Least Squares Framework for Dimensionality Reduction
Linear Discriminant Analysis (LDA) is a popular statistical approach for dimensionality reduction. LDA captures the global geometric structure of the data by simultaneously maximi...
Jianhui Chen, Jieping Ye, Qi Li
68
Voted
DSVIS
2005
Springer
15 years 3 months ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...
CIVR
2004
Springer
121views Image Analysis» more  CIVR 2004»
15 years 3 months ago
Assessing Scene Structuring in Consumer Videos
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
Daniel Gatica-Perez, Napat Triroj, Jean-Marc Odobe...
ICIAR
2009
Springer
14 years 7 months ago
Invariant Shape Matching for Detection of Semi-local Image Structures
Abstract. Shape features applied to object recognition has been actively studied since the beginning of the field in 1950s and remain a viable alternative to appearance based metho...
Lech Szumilas, Horst Wildenauer, Allan Hanbury