1982 search results - page 141 / 397 » Parametricity and dependent types |
156
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
189
click to vote
BIBE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The Possibilistic Latent Variable (PLV) clustering algorithm is a powerful tool for the analysis of complex datasets due to its robustness toward data distributions of different...
166
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Restoration of a degraded image from motion blurring is highly dependent on the estimation of the blurring kernel. Most of the existing motion deblurring techniques model the blur...
189
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Questioned Document Examination processes often encompass analysis of torn documents. To aid a forensic expert, automatic classification of content type in torn documents might ...
143
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...