3001 search results - page 205 / 601 » Recursive type generativity |
163
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
139
click to vote
IVC
2006
15 years 6 months ago
2006
Warping is one of the key areas of image analysis but there has been no understanding of the effects of different non-linear deformations in literature. This paper addresses the p...
152
click to vote
TON
1998
15 years 6 months ago
1998
— This paper explores the variations in mean queue length for stationary arrival processes with the same mean and autocorrelation functions, or equivalently, the same mean and po...
221
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
172
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...