13734 search results - page 229 / 2747 » Abstractions of data types |
164
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
109
Voted
CIE
2005
Springer
15 years 11 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...
144
Voted
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
133
click to vote
APPML
2007
15 years 5 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...
256
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...