4087 search results - page 53 / 818 » Sets in Types, Types in Sets |
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
BMCBI
2010
13 years 9 months ago
2010
Background: Affymetrix GeneChip microarrays are popular platforms for expression profiling in two types of studies: detection of differential expression computed by p-values of t-...
APAL
2007
13 years 9 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
ENTCS
2007
13 years 8 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...