Sciweavers

2335 search results - page 68 / 467
» Type Checking Type Classes
Sort
View
ICDAR
2009
IEEE
13 years 6 months 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...
ESOP
2009
Springer
14 years 3 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
14 years 10 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
DLS
2007
150views Languages» more  DLS 2007»
14 years 25 days 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...
COLING
2000
13 years 10 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