972 search results - page 13 / 195 » Intersection types and computational effects |
IEEECGIV
2009
IEEE
14 years 2 months ago
2009
IEEE
A new approach to Thai font type recognition that is presented in this paper is based on linear interpolation analysis of the character contour. The algorithm can perform effectiv...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Difference, intersection, semi-join and anti-semi-join may be considered binary subset operators, in that they all return a subset of their left-hand argument. These operators are...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
PPSN
2000
Springer
13 years 11 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...