2335 search results - page 69 / 467 » Type Checking Type Classes |
KES
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
JCT
2010
13 years 7 months ago
2010
We find the winning strategy for a class of truncation games played on words. As a consequence of the present author’s recent results on some of these games we obtain new formul...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
DBPL
1999
Springer
14 years 1 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...