Filters








7,123 Hits in 3.7 sec

Skeletal semantics and their interpretations

Martin Bodin, Philippa Gardner, Thomas Jensen, Alan Schmitt
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
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

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
2022 Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs  
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  
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]

Danel Ahman, Andrej Bauer
2020 Lecture Notes in Computer Science  
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  
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

Matt A. Johnson, Adele E. Goldberg
2013 Language and Cognitive Processes  
., 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

John Kulvicki
2015 Ergo, An Open Access Journal of Philosophy  
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]

Danel Ahman, Andrej Bauer
2019 arXiv   pre-print
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]

Ivan Turcin, Vladimir Ergovic, Marko Lackovic
2013 International Federation for Medical and Biological Engineering Proceedings  
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

A. A.Obiniyi, O. N. Oyelade
2014 International Journal of Applied Information Systems  
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

Razan Paul, Tudor Groza, Jane Hunter, Andreas Zankl
2014 Journal of Biomedical Semantics  
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]

Shuangjun Liu, Naveen Sehgal, Sarah Ostadabbas
2022 arXiv   pre-print
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  
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]

Razan Paul, Tudor Groza, Andreas Zankl, Jane Hunter
2012 Lecture Notes in Computer Science  
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

Yuki Yamamoto, Yuji Matsumoto, Taro Watanabe
2022 Journal of Natural Language Processing  
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