1809 search results - page 2 / 362 » Calculating Sized Types |
IFL
2001
Springer
13 years 10 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
ICIP
2008
IEEE
14 years 7 months ago
2008
IEEE
The appearance of rendered text is a compromise between the designer's intent and the display capabilities. The ClearType rendering method is designed to enhance rendered tex...
ICFCA
2010
Springer
13 years 11 months ago
2010
Springer
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...
PUC
2002
13 years 5 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
MICS
2007
13 years 5 months ago
2007
We describe an approach to the computation of symbolic resultants in which factors are removed during the course of the calculation, so reducing the stack size required for interme...