17983 search results - page 90 / 3597 » Set Types and Applications |
115
Voted
TYPES
2007
Springer
15 years 8 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
105
Voted
APPML
2007
15 years 2 months ago
2007
Abstract. Inequalities for a Gr¨uss type functional in terms of Stieltjes integrals with convex integrators are given. Applications to the ˇCebyˇsev functional are also provided...
140
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
144
click to vote
EAAI
2006
15 years 2 months ago
2006
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
113
click to vote
ENTCS
2007
15 years 2 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...