4211 search results - page 189 / 843 » Types as Abstract Interpretations |
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Two properties of the Co-Spectrum of the Joint Spectrum tely many abstract structures are presented - a Minimal Pair type theorem and the existence of a Quasi-Minimal degree with r...
126
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
118
click to vote
APPML
2007
15 years 4 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...
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
134
click to vote
ICML
1999
IEEE
16 years 5 months ago
1999
IEEE
The applicationofboosting procedures to decision tree algorithmshas been shown to produce very accurate classi ers. These classiers are in the form of a majority vote over a numbe...