549 search results - page 21 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
106
click to vote
WEBI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
145
click to vote
CEC
2011
IEEE
14 years 1 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
101
click to vote
HYBRID
1992
Springer
15 years 5 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
125
click to vote
IEE
2008
15 years 2 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
122
click to vote
ICFCA
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...