366 search results - page 29 / 74 » Four equivalent equivalences of reductions |
104
Voted
FUIN
2006
15 years 21 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
121
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
114
click to vote
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper proposes a general hierarchical analysis methodology, HiPRIME, to efficiently analyze RLKC power delivery systems. After partitioning the circuits into blocks, we devel...
109
click to vote
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
We investigate reducing the dimensionality of image sets by using principal component analysis on wavelet coefficients to maximize edge energy in the reduced dimension images. Lar...
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
A new method for classification is proposed. This is based on kernel orthonormalized partial least squares (PLS) dimensionality reduction of the original data space followed by a ...