A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Skeletal semantics and their interpretations
2019
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
Other Versions
We define a general notion of interpretation, which provides a systematic and language-independent way of deriving semantic judgements from the skeletal semantics. ...
We introduce a skeletal semantics of a language, where each skeleton describes the complete semantic behaviour of a language construct. ...
Let I 1 and I 2 be two interpretations, OKst a relation between their input states, and OKout a relation between their output states. ...
doi:10.1145/3290357
fatcat:owj2oge6gnbhlc6wyjoagyzgqi
Certified abstract machines for skeletal semantics
2022
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. ...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. ...
Acknowledgments The authors would like to thank the anonymous referees for their valuable comments and helpful suggestions. This work is partially supported by PHC Polonium. ...
doi:10.1145/3497775.3503676
fatcat:y3hyvdmdd5fmnfsjwsnz74j7j4
Page 877 of Journal of Sedimentary Research Vol. 75, Issue 5
[page]
2005
Journal of Sedimentary Research
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Abundant and diverse co-occurring skeletal flora and fauna are inconsistent with interpretations of Gudman stromatolites as post-extinction “disaster taxa.” ...
, 2001; Kirkland et al. 1998; Dupraz and Strasser 1999; Wood 1999; Keim and Schlager 2001: Olivier et al. 2003; Stephens and Sumner 2003), but compared to co- occurring skeletal organisms their roles and ...
Runners in Action
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We capture the core ideas of programming with runners in an equational calculus λ coop, which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution ...
We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate "virtual machines". ...
We thank Guillaume Munch-Maccagnoni and Matija Pretnar for discussing resources and potential future directions for λ coop . ...
doi:10.1007/978-3-030-44914-8_2
fatcat:3bywcggkrbbrzh73hj7qib44zi
Page 410 of Psychological Abstracts Vol. 69, Issue 2
[page]
1983
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
These interpretations assume (a) a disruption of the information stored in each semantic representation and (b) a disorganization of the mecha- nisms subsuming semantic storage and semantic retrieval. ...
Gainotti, see PA, Vol 56:4275; and Gainotti et al, see PA, Vol 64:1364)
PHYSICAL AND PSYCHOLOGICAL DISORDERS
supporting this last view are reported, and 2 alternative (or complementary) interpretations ...
Evidence for automatic accessing of constructional meaning: Jabberwocky sentences prime associated verbs
2013
Language and Cognitive Processes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., give and handed), and to a lesser extent, for target words that are semantically related to the construction but which rarely occur in the construction (e.g., transferred for the ditransitive). ...
A central question within psycholinguistics is where sentences get their meaning. ...
in ways that make sense in order for a sentence to be interpretable still enjoys widespread currency. ...
doi:10.1080/01690965.2012.717632
fatcat:vkrllhr5k5didck3ngdibwauuy
Maps, Pictures, and Predication
2015
Ergo, An Open Access Journal of Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This proposal uncovers norms for mapmaking, leads to the first new semantics for maps since roberto casati and achille Varzi (1999) , and offers a new perspective on how maps relate to pictures. ...
This proposal relates in interesting ways to John Haugeland's (1991) attempt to understand representational kinds in terms of features of their contents. 1. rescorla points out that others, including computer ...
Aims of Science, organized by stacie Friend and Mauricio suárez. ...
doi:10.3998/ergo.12405314.0002.007
fatcat:wmohnn2bpneufmrvcocnpgt2nm
Runners in action
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We capture the core ideas of programming with runners in an equational calculus λ_coop, which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and execution ...
We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate "virtual machines". ...
We thank Guillaume Munch-Maccagnoni and Matija Pretnar for discussing resources and potential future directions for λ coop . ...
arXiv:1910.11629v1
fatcat:esg3prjcjne7nb4pqtdetkvreu
Ontology Driven Decision Support System Architecture for Gait Analysis
[chapter]
2013
International Federation for Medical and Biological Engineering Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Domain described is in part of musculo-skeletal system of the lower limbs. ...
This paper presents role of domain ontology in construction process and architecture of medical data warehouse and decision support system based on provided ontology. ...
" and "Real-life data measurement and characterization", realized with the support by The Ministry of Science, Education and Sports, Republic of Croatia. ...
doi:10.1007/978-3-642-34197-7_20
fatcat:3wpksy6nu5gp7n7igtxw3l6hbi
A Review of Self Decision Making Applications
2014
International Journal of Applied Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper researches into decision making applications (also called decision support systems-DSS) that are driven by semantic web technologies, and also looks into their common components and functionalities ...
Intelligent agents have been employed in the field of artificial intelligence to develop their cognitive capability so as to populate their knowledge base and as well carry out tasks that proves their ...
., and Austin, M. A., (2002 ...
doi:10.5120/ijais14-451163
fatcat:npnyurrqyzf7ncotydrshdi56a
Semantic interestingness measures for discovering association rules in the skeletal dysplasia domain
2014
Journal of Biomedical Semantics
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Nevertheless, this is dependent on the domain, and implicitly, on the semantic similarity metric chosen to model it. ...
Conclusions: Semantic interestingness measures outperform the traditional ones, and hence show that they are able to exploit the semantic similarities inherently present between ontological concepts. ...
Acknowledgements We gratefully acknowledge the editor and anonymous reviewers whose comments and advices have helped us improve our manuscript. ...
doi:10.1186/2041-1480-5-8
pmid:24499729
pmcid:PMC3936824
fatcat:grysne55e5dnvl6nmhwnu2aryy
Adapted Human Pose: Monocular 3D Human Pose Estimation with Zero Real 3D Pose Data
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
AHuP is built upon two key components: (1) semantically aware adaptation (SAA) for the cross-domain feature space adaptation, and (2) skeletal pose adaptation (SPA) for the pose space adaptation which ...
The ultimate goal for an inference model is to be robust and functional in real life applications. However, training vs. test data domain gaps often negatively affect model performance. ...
Although the model in [8] employs no 3D pose data directly, its 2D pose data is a direct projection of the 3D data from the same benchmark, which holds identical pose semantics and distributions of their ...
arXiv:2105.10837v2
fatcat:funsu7p7endmhdarmpkrg4ny7a
Page 284 of Computational Linguistics Vol. 28, Issue 3
[page]
2002
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Integrating semantic interpretation and syntactic parsing yielded only the slighte st gain, showing that although probabilistic models
allow easy integration of modules, the gain over an unintegrated system ...
We believe that some level of skeletal representation of the relevant aspects of a word’s meaning, along the lines of Kipper et al. (2000) and of the frame hierar- chy being developed by the FrameNet project ...
Semantic Similarity-Driven Decision Support in the Skeletal Dysplasia Domain
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Different methods for computing the semantic similarity have been implemented. All methods have been evaluated based on their support in achieving a higher prediction accuracy. ...
Grounding clinical and radiographic findings in concepts defined by a biomedical ontology, e.g., the Human Phenotype Ontology, enables us to compute semantic similarity between them. ...
Acknowledgments The work presented in this paper is supported by the Australian Research Council (ARC) under the Discovery Early Career Researcher Award (DECRA) -DE120100508 and the Linkage grant SKELETOME ...
doi:10.1007/978-3-642-35173-0_11
fatcat:ge427radlrezzf6q2khpdak7c4
Dependency Patterns of Complex Sentences and Semantic Disambiguation for Abstract Meaning Representation Parsing
2022
Journal of Natural Language Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The syntax-based AMR parsing approach assumes a close mapping between syntactic and semantic structures. ...
A disambiguation step is necessary for certain types of constructions with semantically ambiguous subordinators. ...
Acknowledgement Part of this work was presented at the 10th Joint Conference on Lexical and Computational Semantics, August, 2021, Online (Yamamoto et al., 2021). ...
doi:10.5715/jnlp.29.515
fatcat:zrekwmat4re5xegixralhg4kli
« Previous
Showing results 1 — 15 out of 7,123 results