|
|
|
|
|
Igor Masich, Natalya Rezova, Guzel Shkaberina, Sergei Mironov, Mariya Bartosh and Lev Kazakovtsev
A number of real-world problems of automatic grouping of objects or clustering require a reasonable solution and the possibility of interpreting the result. More specific is the problem of identifying homogeneous subgroups of objects. The number of group...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mennatalla Mostafa A. Salama, Manal S. Abou El-Ela and Marwa H. Khalil
Over the last few decades, the concept of combining education and entertainment has become increasingly popular. Edutainment (education and entertainment) environments started appearing in 1970 and have expanded, ever since, across the globe. This study ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Austin Waffo Kouhoué, Yoann Bonavero, Thomas Bouétou Bouétou and Marianne Huchard
Digital technologies are an opportunity to overcome disabilities, provided that accessibility is ensured. In this paper, we focus on visual accessibility and the way it is supported in Operating Systems (OS). The significant variability in this support h...
ver más
|
|
|
|
|
|
|
|
|
|
|
Adina Cretan, Cristina Nica, Carlos Coutinho, Ricardo Jardim-Goncalves and Ben Bratu
Picking reliable partners, negotiating synchronously with all partners, and managing similar proposals are challenging tasks for any manager. This challenge is even harder when it concerns small and medium enterprises (SMEs) who need to deal with short b...
ver más
|
|
|
|
|
|
|
|
|
|
|
Phonexay Vilakone and Doo-Soon Park
This article investigates the efficiency of a doParallel algorithm and a formal concept analysis (FCA) network graph applied to recommendation systems. It is the first article using the FCA method to create a network graph and apply this graph to improve...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jie Gao, Fei Hao and Doo-Soon Park
The concept stability measure under the Formal Concept Analysis (FCA) theory is useful for improving the accuracy of structure identification of social networks. Nevertheless, the stability calculation is an NP-complete task which is the primary challeng...
ver más
|
|
|
|
|
|
|
|
|
|
|
Qiang Wu, Yan Dong and Liping Xie
Aiming at the problem that the assembly body model is difficult to classify and retrieve (large information redundancy and poor data consistency), an assembly body retrieval method oriented to key structures was presented. In this paper, a decision forma...
ver más
|
|
|
|
|
|
|
|
|
|
|
Maximilian Felde, Tom Hanika and Gerd Stumme
Null model generation for formal contexts is an important task in the realm of formal concept analysis. These random models are in particular useful for, but not limited to, comparing the performance of algorithms. Nonetheless, a thorough investigation o...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jiulei Jiang, Panqing Zhang and Zhanyou Ma
Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generalized p...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jingpu Zhang, Ronghui Liu, Ligeng Zou and Licheng Zeng
Formal concept analysis has proven to be a very effective method for data analysis and rule extraction, but how to build formal concept lattices is a difficult and hot topic. In this paper, an efficient and rapid incremental concept lattice construction ...
ver más
|
|
|
|
|
|