Search Sciweavers | Sciweavers

5465 search results - page 25 / 1093

» Assigning Types to Processes

click to vote

ICDAR
2009
IEEE

154views Document Analysis» more ICDAR 2009»

Image Classification to Improve Printing Quality of Mixed-Type Documents

13 years 5 months ago

Download www.cvc.uab.es

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...

claim paper

Read More »

click to vote

TLDI
2003
ACM

108views Formal Methods» more TLDI 2003»

Inferring annotated types for inter-procedural register allocation with constructor flattening

14 years 23 days ago

Download people.cis.ksu.edu

We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...

Torben Amtoft, Robert Muller

claim paper

Read More »

click to vote

OOPSLA
1991
Springer

125views Security Privacy» more OOPSLA 1991»

Object-Oriented Type Inference

13 years 11 months ago

Download www.cs.ucla.edu

We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

click to vote

NOLISP
2009
Springer

152views Signal Processing» more NOLISP 2009»

Automatic Classification of Regular vs. Irregular Phonation Types

14 years 2 months ago

Download alpha.tmit.bme.hu

Tamás Bohm, Zoltán Both, Géza...

claim paper

Read More »