Sciweavers

85 search results - page 4 / 17
» Binary Factor Analysis with Help of Formal Concepts
Sort
View
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
15 years 5 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
SAC
2010
ACM
15 years 6 months ago
Background knowledge in formal concept analysis: constraints via closure operators
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
Radim Belohlávek, Vilém Vychodil
109
Voted
DASFAA
2005
IEEE
171views Database» more  DASFAA 2005»
15 years 5 months ago
Mining Succinct Systems of Minimal Generators of Formal Concepts
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...
Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li, Li...
FMSD
2007
138views more  FMSD 2007»
14 years 11 months ago
Object oriented concepts identification from formal B specifications
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...
Akram Idani, Yves Ledru
EUROCRYPT
2010
Springer
15 years 4 months ago
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
Kenneth G. Paterson, Gaven J. Watson