1237 search results - page 91 / 248 » Strictness and Totality Analysis |
183
click to vote
SMI
2008
IEEE
16 years 20 days ago
2008
IEEE
The distribution of geometric features is anisotropic by its nature. Intrinsic properties of surfaces such as normal curvatures, for example, varies with direction. In this paper ...
186
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
146
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we investigate the use of discriminant techniques in the elastic graph matching (EGM) algorithm. First we use discriminant analysis in the feature vectors of the no...
144
click to vote
ASPDAC
2006
ACM
16 years 7 days ago
2006
ACM
— This work develops an analytic framework for clock tree analysis considering process variations that is shown to correspond well with Monte Carlo results. The analysis framewor...
151
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
The problem of automatic classification of ultrasound images is addressed. For texture analysis of ultrasound images quantifiable indexes, called features, are used. Classificat...