443 search results - page 2 / 89 » A Simple Solution to Type Specialization |
CORR
2006
Springer
13 years 5 months ago
2006
Springer
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
CISIS
2010
IEEE
13 years 10 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
EMNLP
2008
13 years 7 months ago
2008
This paper investigates two strategies for improving coreference resolution: (1) training separate models that specialize in particular types of mentions (e.g., pronouns versus pr...
ISSAC
2004
Springer
13 years 11 months ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
ENTCS
2002
13 years 5 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...