549 search results - page 31 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
132
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Statistical topic models provide a general data-driven framework for automated discovery of high-level knowledge from large collections of text documents. While topic models can p...
116
click to vote
ER
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
233
click to vote
ICDE
1998
IEEE
16 years 5 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
138
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
138
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...