31686 search results - page 318 / 6338 » Resource typing in Guru |
108
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
99
Voted
GEOINFO
2007
15 years 2 months ago
2007
This paper describes a model for spatiotemporal objects whose location is fixed, but its boundaries and properties change. We refer to these as evolving objects. We consider cases ...
90
Voted
CSC
2006
15 years 2 months ago
2006
In this article, we study a class of biorthogonal sampling functions in the context of bandlimited wavelets, Meyer type wavelets. Originally raised in the construction of bandlimi...
92
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
97
Voted
IJAR
2008
15 years 24 days ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...