Results 271 to 280 of about 1,585,173 (321)
Some of the next articles are maybe not open access.
A descriptive semantic formalism for medicine
Proceedings of IEEE 9th International Conference on Data Engineering, 2002It is argued that current clinical information systems incorporate oversimplistic, prescriptive data models that are not faithful to clinicians' observations. A non-prescriptive descriptive semantic formalism, Structured Meta Knowledge (SMK), which unifies a terminological knowledge base with controlled assertional capabilities with the medical record ...
Goble, Carole A +3 more
openaire +2 more sources
A Formal Behavioral Semantics for TestML
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies.
Jürgen Großmann, Wolfgang Müller 0003
openaire +1 more source
Towards the formalization of interaction semantics
Proceedings of the 6th International Conference on Semantic Systems, 2010With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and success of Interaction Design. Web designers often turn to pre-defined and well-founded design patterns and user interaction paradigms to build novel and more effective Web ...
Irene Celino, Francesco Corcoglioniti
openaire +2 more sources
2005
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
1993
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
2009
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
2002
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
A Formal Semantics for Traffic Sequence Charts
Principles of Modeling, 2018W. Damm +3 more
semanticscholar +1 more source
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support
International Conference on Business Process Management, 2018F. Corradini +4 more
semanticscholar +1 more source