5387 search results - page 357 / 1078 » Generating generic functions |
156
click to vote
TPHOL
2006
IEEE
16 years 22 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
200
click to vote
FPT
2005
IEEE
16 years 10 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
156
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...
153
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
173
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...