446 search results - page 33 / 90 » Formal concept analysis based on hierarchical class analysis |
IFIPTCS
2000
15 years 2 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
74
Voted
RIAO
2004
15 years 7 days ago
2004
This paper proposes two methods of query expansion for retrieving paraphrase candidates indexed by Kanzi (Chinese) characters. The idea is to calculate similarity between Kanzi ch...
103
Voted
ER
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
95
Voted
CCS
2008
ACM
15 years 26 days ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
101
Voted
ICFCA
2009
Springer
15 years 5 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...