1828 search results - page 91 / 366 » First-Class Type Classes |
124
Voted
ISAAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, the space requirements for the OBDD representation of certain graph classes, specifically cographs, several types of graphs with few P4s, unit interval gr...
104
click to vote
CSL
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
101
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
129
Voted
DASFAA
1993
IEEE
15 years 6 months ago
1993
IEEE
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
137
Voted
DLOG
2011
14 years 6 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...