Results 11 to 20 of about 25,005,250 (309)
Survey on attribute and concept reduction methods in formal concept analysis [PDF]
, 2023 Formal concept analysis (FCA) is now widely recognized as a useful approach for extracting, representing, and analyzing knowledge in various domains. The high computational cost of knowledge processing and the difficulty of visualizing the lattice are ...
Kovács, László +3 more
core +1 more source
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 [PDF]
, 2020 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +2 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023
, 2023 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +1 more source
Experience report on designing and developing control components using formal methods [PDF]
, 2012 This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum.
Osaiweran, A.A.H. +5 more
core +3 more sources
CoRR, 2012 Appears in Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI2002)
Peter McBurney, Simon Parsons
openaire +4 more sources
Гуманитарные и юридические исследования, 2021 This study offers a view on a comprehensive pho-nosemantic analysis of modal units, which was performed using the VAAL 2000 system as well as the Praat application (Version 6.0.33), functioning in political speeches.
V. Boldyreva
doaj
Formalization and Analysis of Reasoning by Assumption
Cognitive Science, 2006 AbstractThis article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically ...
Tibor Bosse +2 more
openaire +4 more sources
Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies [PDF]
, 2004 Cimiano P, Stumme G, Hotho A, Tane J. Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies. In: Eklund PW, ed. Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-
Philipp Cimiano +8 more
core +1 more source
The thorny way of European Bioethics: The Jahr journal case study
Nova Prisutnost, 2022 The ambiguity of the term bioethics has brought different views and has resulted in the development of European bioethics, which relies on the postulates of Fritz Jahr.
Gordana Šimunković +2 more
doaj
A blockchain-enabled secure searchable-encryption-based data transaction protocol [PDF]
BlockchainWith the development of artificial intelligence and big data, data has become an important part of production factors, and the sharing and transaction of data have a very high importance. Through the storage service of the cloud data transaction platform,
Xingyun Hu +7 more
doaj +1 more source