Sciweavers

2335 search results - page 68 / 467
» Type Checking Type Classes
Sort
View
118
Voted
ICDAR
2009
IEEE
15 years 2 days ago
Image Classification to Improve Printing Quality of Mixed-Type Documents
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
Rafael Dueire Lins, Gabriel Pereira e Silva, Steve...
108
Voted
ESOP
2009
Springer
15 years 9 months ago
An Interval-Based Inference of Variant Parametric Types
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengch...
ICPR
2004
IEEE
16 years 3 months ago
Media Content and Type Selection from Always-on Wearable Video
A system is described for summarizing head-mounted or hand-carried "always-on" video. The example used is a tourist walking around a historic city with friends and famil...
Phil Cheatle
156
Voted
DLS
2007
150views Languages» more  DLS 2007»
15 years 6 months ago
RPython: a step towards reconciling dynamically and statically typed OO languages
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
Davide Ancona, Massimo Ancona, Antonio Cuni, Nicho...
101
Voted
COLING
2000
15 years 3 months ago
Incremental Identification of Inflectional Types
We present an al)proach to the increnmntal accrual of lexical int'ornmtion fl)r unknown words t;hat is consl;raint-based and conll)atil)le with s(.andard unification-liased g...
Petra Barg, James Kilbury