Sciweavers

184 search results - page 7 / 37
» Horn-Representation of a Concept Lattice
Sort
View
IPPS
2002
IEEE
14 years 3 months ago
Concept-Based Component Libraries and Optimizing Compilers
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based userextensible simp...
Sibylle Schupp, D. P. Gregor, B. Osman, David R. M...
FCA
2005
Springer
135views Formal Methods» more  FCA 2005»
14 years 4 months ago
Concept Lattices in Software Analysis
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
Gregor Snelting
DMIN
2006
108views Data Mining» more  DMIN 2006»
14 years 8 days ago
Sequential and Parallel Rule Extraction from a Concept Lattice
This paper presents enhancements to previous algorithms for the sequential extraction of complete non-redundant set of rules from a concept lattice. The aim of these enhancements i...
Guillermo Tonsmann
ICASSP
2011
IEEE
13 years 2 months ago
Two dimensional nested arrays on lattices
In this paper, we develop the theory of a new class of two dimensional arrays with sensors on lattice(s) which can be used to construct a virtual array of much larger size through...
Piya Pal, Palghat P. Vaidyanathan
ICSE
1997
IEEE-ACM
14 years 3 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting