2226 search results - page 34 / 446 » Computable Analysis via Representations |
138
Voted
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
155
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
128
Voted
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Diffeomorphic non-rigid registration of shapes is a very difficult problem. We use the point-set representation for shapes since statistical shape analysis in this space is relati...
128
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
127
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Two Dimensional Linear Discriminant Analysis (2DLDA) has received much interest in recent years. However, 2DLDA could make pairwise distances between any two classes become signiï...