549 search results - page 22 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
167
Voted
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
126
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
136
Voted
GD
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
152
Voted
CLA
2007
15 years 5 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
125
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...