1999 search results - page 151 / 400 » Dependently Typed Grammars |
180
click to vote
BIBE
2009
IEEE
15 years 9 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...
160
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...
183
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 ...
146
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
243
click to vote
DAPSYS
2004
Springer
15 years 11 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...