2702 search results - page 370 / 541 » Practically Applicable Formal Methods |
123
Voted
DAC
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a compact Nonlinear model Order Reduction Method (NORM) that is applicable for time-invariant and time-varying weakly nonlinear systems. NORM is suitable for r...
158
click to vote
ICIAP
2003
ACM
15 years 7 months ago
2003
ACM
Principal Components Analysis (PCA) has been one of the most applied methods for face verification using only 2D information, in fact, PCA is practically the method of choice for ...
107
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
We present an interactive, hybrid human-computer method for object classification. The method applies to classes of objects that are recognizable by people with appropriate expert...
121
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Reliably extracting information from aerial imagery is a difficult problem with many practical applications. One specific case of this problem is the task of automatica...
105
click to vote
ICMCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Video analysis and mixed reality (MR) systems, which integrate the virtual world and the real world, are important topics of multimedia research. In this paper, we propose an ef...