31686 search results - page 232 / 6338 » Resource typing in Guru |
CORR
2004
Springer
13 years 10 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
EUSFLAT
2009
13 years 8 months ago
2009
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
ICDE
1999
IEEE
14 years 12 months ago
1999
IEEE
Similarity searching in text databases with multiple field types is still an open problem. We experimented with CORDIS and we evaluated the effectiveness of many text retrieval me...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This article deals with an Oriented-Contour Point based voting algorithm for multiclass vehicle type identification (make and model). The system obtains similar results for equiva...
POPL
2006
ACM
14 years 11 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...