549 search results - page 41 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
166
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
151
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
151
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
147
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: In the analysis of microarray data one generally produces a vector of p-values that for each gene give the likelihood of obtaining equally strong evidence of change by...
144
click to vote
TSE
2010
15 years 2 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...