18429 search results - page 104 / 3686 » Typing dynamic typing |
124
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
125
click to vote
APAL
2000
15 years 4 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...
124
click to vote
ENTCS
2000
15 years 4 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
115
Voted
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel extension of Hidden Markov Models (HMMs): type-2 fuzzy HMMs (type-2 FHMMs). The advantage of this extension is that it can handle both randomness and f...
135
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Geometric Type-2 Fuzzy sets allow us to model type-2 fuzzy sets using geometry providing significant improvement in speed of computation. This paper explores in detail how wel...