Results 241 to 250 of about 1,135,516 (291)
Some of the next articles are maybe not open access.
From Semi-Formal Models to Formal Models
2010Ontological engineering is a methodology that proposes various processes for constructing ontologies (Corcho, Fernández-López, & Gómez- Pérez, 2006; Davies, Fensel, & Harmelen, 2003; Dietz, 2006; Gaševic, Djuric, & Devedžic, 2006; Gómez-Pérez, Fernández-López, & Corcho, 2003; T. Gruber, 1993; Guarino, 1997; Horridge, Knub lauch, Rector,
Héon, Michel, Paquette, Gilbert
openaire +2 more sources
2021
This chapter introduces formal models of cognition and explains how they are similar to verbal theories but use computer programs and mathematics to avoid the many limitations of human reasoning, thereby adding precision and rigor to their explanations. The chapter discusses Marr’s (1982) levels of analyses and how information-processing systems can be
openaire +1 more source
This chapter introduces formal models of cognition and explains how they are similar to verbal theories but use computer programs and mathematics to avoid the many limitations of human reasoning, thereby adding precision and rigor to their explanations. The chapter discusses Marr’s (1982) levels of analyses and how information-processing systems can be
openaire +1 more source
Formal Asynchronous Systems Modelling
Fundamenta Informaticae, 2000In this paper a formal model for asynchronous systems behaviour is presented which is suited for representing all levels of abstraction appearing in the design process. Based on a structural abstraction of asynchronous computation systems called asynchronous nets the behaviour of an asynchronous system can be represented by a set of so called abstract
Kohn, Markus, Schmeck, Hartmut
openaire +2 more sources
Physical Review Letters, 1959
A construction is given of an equivalent one-body pocomplex target. The case of incident and target particles being identical nonrelativistic fermions, and allowing fully for antisymmetry, is considered explicitly. (A.C.)
J. S. Bell, E. J. Squires
openaire +1 more source
A construction is given of an equivalent one-body pocomplex target. The case of incident and target particles being identical nonrelativistic fermions, and allowing fully for antisymmetry, is considered explicitly. (A.C.)
J. S. Bell, E. J. Squires
openaire +1 more source
Formal models of “resource depletion”
Behavioral and Brain Sciences, 2013AbstractThe opportunity cost model (OCM) aims to explain various phenomena, among which the finding that performance degrades if executive functions are used repeatedly (“resource depletion”). We argue that an OCM account of resource depletion requires two unlikely assumptions, and we discuss an alternative that does not require these assumptions. This
Huizenga, H.M. +3 more
openaire +4 more sources
Multi-Formalism Modelling and Model Execution
International Journal of Computers and Applications, 2009Modelling complex software systems requires multiple modelling formalisms adapted to the nature of each part of the system (control, signal processing, etc.), to the aspect on which the model focuses (functionality, time, fault tolerance, etc.) and to the level of abstraction at which the system, or one of its parts, is studied.
Hardebolle, Cécile +1 more
openaire +2 more sources
Formal Models of Language Learning
Cognition, 1979Abstract Research is reviewed that addresses itself to human language learning by developing precise, mechanistic models that are capable in principle of acquiring languages on the basis of exposure to linguistic data. Such research includes theorems on language learnability from mathematical linguistics, computer models of language acquisition from ...
openaire +2 more sources
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
D. J. Duke, M. D. Harrison
openaire +1 more source
From formal models to formally based methods
ACM Transactions on Software Engineering and Methodology, 1999We address the problem of increasing the impact of formal methods in the practice of industrial computer applications. We summarize the reasons why formal methods so far did not gain widespead use within the industrial environment despite several promising experiences. We suggest an evolutionary rather than revolutionary attitude in the introduction of
CIAPESSONI E. +4 more
openaire +2 more sources
1993
We shall round off this text with a chapter on modeling approaches which aim at a higher degree of formality than most of the methods that we have covered so far. We shall give examples of static modeling approaches and dynamic modeling approaches, and also give a short introductory discussion on temporal modeling approaches.
Arne Sølvberg, David Chenho Kung
openaire +1 more source
We shall round off this text with a chapter on modeling approaches which aim at a higher degree of formality than most of the methods that we have covered so far. We shall give examples of static modeling approaches and dynamic modeling approaches, and also give a short introductory discussion on temporal modeling approaches.
Arne Sølvberg, David Chenho Kung
openaire +1 more source