Results 281 to 290 of about 25,005,250 (309)
Some of the next articles are maybe not open access.
Formal Context and Morphological Analysis
1999This paper presents a definition of context for the interpretation of word-structure that is based on the formal relation of asymmetry. We provide evidence that morpho-conceptual complexity is optimally tractable in terms of local asymmetrical relations in formal context.
openaire +2 more sources
Towards A Formal Analysis of EBL
1989“Explanation-based learning” – i.e., incorporating new redundant rules suggested by earlier problem solving experiences – is an attempt to speed up problem solving. Recent empirical evidence, however, has shown that the resulting systems are not always more efficient on subsequent problems.
openaire +2 more sources
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Michael Fisher, Clare Dixon
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Using formal specifications to support testing
ACM Computing Surveys, 2009Gerald Luttgen +2 more
exaly
Formal Analysis of Symbolic Authenticity
2021Hai Lin 0005, Christopher Lynch
openaire +2 more sources