549 search results - page 22 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
149
Voted
AOSD
2009
ACM
14 years 11 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...
111
click to vote
MKM
2007
Springer
15 years 8 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 (...
121
click to vote
GD
1994
Springer
15 years 6 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...
135
click to vote
CLA
2007
15 years 3 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...
111
click to vote
ISOLA
2010
Springer
15 years 12 days 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...