Sciweavers

549 search results - page 12 / 110
» Using Formal Concept Analysis in Mathematical Discovery
Sort
View
ICCS
1999
Springer
15 years 1 months ago
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
Guy W. Mineau, Gerd Stumme, Rudolf Wille
ICCS
2005
Springer
15 years 3 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
15 years 3 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
ICSE
2008
IEEE-ACM
15 years 9 months ago
Formal concept analysis applied to fault localization
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
Peggy Cellier
IEEECIT
2005
IEEE
15 years 3 months ago
Management and Retrieval of Web Services Based on Formal Concept Analysis
After introducing some basic concepts of Web services and the definition of their relationships, we formally define the problem of managing and retrieving of Web services. This pa...
Dunlu Peng, Sheng Huang, Xiaoling Wang, Aoying Zho...