17983 search results - page 150 / 3597 » Set Types and Applications |
195
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
156
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
186
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
146
click to vote
ISMB
2001
15 years 7 months ago
2001
Using gene expression data to classify tumor types is a very promising tool in cancer diagnosis. Previous works show several pairs of tumor types can be successfully distinguished...
156
click to vote
ANNPR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...