Results 231 to 240 of about 1,360,419 (300)
Bridging Data, Semantics, and Clinical Reasoning: A Knowledge Graph Framework for Pediatric Obstructive Sleep Apnea. [PDF]
Children (Basel)Geyer JD +8 more
europepmc +1 more source
Vision-Based Topology-Consistent Structural Parsing of Hand-Drawn Circuit Diagrams. [PDF]
Sensors (Basel)Wang H, Wu Y, Liu X, Li W.
europepmc +1 more source
A common framework for semantic memory and semantic composition. [PDF]
Imaging Neurosci (Camb)Law RMC, Lambon Ralph MA, Hauk O.
europepmc +1 more source
Meta-path guided policy distillation for resilient coordination in autonomous unmanned swarm. [PDF]
PLoS OneHan X +11 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 ...
Wayne Davis, Davis Wayne A
exaly +2 more sources
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 ...
Wayne Davis, Davis Wayne A
exaly +2 more sources
Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2019Programming assignment grading can be time-consuming and error-prone if done manually. Existing tools generate feedback with failing test cases. However, this method is inefficient and the results are incomplete.
Xiao Liu +3 more
semanticscholar +1 more source
International Journal of Computer Mathematics, 1990
For well known reasons, it is very desirable and sometimes imperative to give formal description of the semantics of a language. This paper presents a formal semantics of a subset of the SQL language, using the Vienna Development Method. We consider most of the query language defined in the SQL standard and give its denotational semantics using ...
Silvio Meira 0001 +2 more
openaire +1 more source
For well known reasons, it is very desirable and sometimes imperative to give formal description of the semantics of a language. This paper presents a formal semantics of a subset of the SQL language, using the Vienna Development Method. We consider most of the query language defined in the SQL standard and give its denotational semantics using ...
Silvio Meira 0001 +2 more
openaire +1 more source
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
IEEE Computer Security Foundations Symposium, 2018A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt +10 more
semanticscholar +1 more source