549 search results - page 26 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
131
click to vote
KSEM
2010
Springer
15 years 12 days ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
122
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...
110
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
108
click to vote
CLA
2004
15 years 3 months ago
2004
An important problem in applications of formal concept analysis is a possibly large number of clusters extracted from data. Factorization is one of the methods being used to cope w...