3212 search results - page 53 / 643 » Faster Concept Analysis |
122
Voted
SYRCODIS
2007
15 years 1 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...
113
Voted
FMSD
2007
15 years 19 days ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
96
Voted
AO
2005
15 years 18 days ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
118
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
117
click to vote
GCB
2004
Springer
15 years 6 months ago
2004
Springer
: We introduce the novel concept of graph alignment, a generalization of graph isomorphism that is motivated by the commonly used multiple sequence alignments. Graph alignments and...