108 search results - page 7 / 22 » Realization Problem for Formal Concept Analysis |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ICCS
2003
Springer
14 years 20 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
SYRCODIS
2007
13 years 8 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...