Results 31 to 40 of about 934,075 (313)
Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016 The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts.
Amel Benabbou +2 more
doaj +1 more source
Knowledge cores in large formal contexts
Annals of Mathematics and Artificial Intelligence, 2022 AbstractKnowledge computation tasks, such as computing a base of valid implications, are often infeasible for large data sets. This is in particular true when deriving canonical bases in formal concept analysis (FCA). Therefore, it is necessary to find techniques that on the one hand reduce the data set size, but on the other hand preserve enough ...
Tom Hanika, Johannes Hirth
openaire +3 more sources
Groups with context-free co-word problem [PDF]
, 2005 The class of co-context-free groups is studied. A co-context-free group is defined as one whose coword problem (the complement of its word problem) is context-free.
Derek F. Holt +7 more
core +1 more source
Formal Methods for a Digital Industry
, 2021 S.71-76The industrial track at ISoLA 2021 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can
Hungar, H. +5 more
core +1 more source
A comprehensive survey on formal concept analysis, its research trends and applications
International Journal of Applied Mathematics and Computer Science, 2016 In recent years, FCA has received significant attention from research communities of various fields. Further, the theory of FCA is being extended into different frontiers and augmented with other knowledge representation frameworks.
Singh Prem Kumar +2 more
doaj +1 more source
THE LIMITS OF THE FORMAL TREATMENT OF LANGUAGE
Studia Universitatis Babeș-Bolyai. Philosophia, 2019 The Limits of the Formal Treatment of Language. Within the philosophy of language, there is a distinction between the natural language philosophers and the ideal language philosophers. The distinction is drawn based on the way these philosophers reflect
P. Alpár GERGELY
doaj +1 more source
Relevant Attributes in Formal Contexts [PDF]
, 2019 Computing conceptual structures, like formal concept lattices, is in the age of massive data sets a challenging task. There are various approaches to deal with this, e.g., random sampling, parallelization, or attribute extraction. A so far not investigated method in the realm of formal concept analysis is attribute selection, as done in machine ...
Tom Hanika, Maren Koyda, Gerd Stumme
openaire +2 more sources
PSYCHOLOGICAL PECULIARITIES OF ADULT EDUCATION: FORMAL, NON-FORMAL AND INFORMAL CONTEXT
Studia Universitatis Moldaviae: Stiinte ale Educatiei, 2021 PARTICULARITĂŢILE PSIHOLOGICE ALE EDUCAŢIEI ADULŢILOR: CONTEXT FORMAL, NONFORMAL ŞI INFORMAL Articolul este dedicat analizei bazelor psihologice ale educației și creșterii adulților (învățării și educației adulților), și anume – teorii psihologice care ...
USM ADMIN
doaj
(User-friendly) formal requirements verification in the context of ISO26262
Engineering Science and Technology, an International Journal, 2020 In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles.
Denis Makartetskiy +7 more
doaj +1 more source
Context-based Project Management
EAI Endorsed Transactions on Context-aware Systems and Applications, 2017 Context-based computing has become an integral part of the software infrastructure of modern society. Better software are made adaptive to suit the surrounding environment.
Ammar Alsaig +2 more
doaj +1 more source