Keyword:semantics

Papers
What Had Happened to an Estonian Dialect Surrounded by Russian Language for over 200 Years Denis Dogadushkin EasyChair Preprint no. 8806
A Formal Model of Checked C Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn and Michael Hicks EasyChair Preprint no. 8764
Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language David Sabel and Manfred Schmidt-Schauss EasyChair Preprint no. 8385
Semantic Analysis of Sign Language During Translation from Text to KSL Saule Kudubayeva and Dana Nurgazina EasyChair Preprint no. 8168
Improving Automatic Semantic Similarity Classification of the PNT Alexandra Salem, Robert Gale, Gerasimos Fergadiotis and Steven Bedrick EasyChair Preprint no. 7362
Map-Me-Mate Karthikeya Sai Boggarapu, Paul Nischal Samuel Bhushanam, Rohith Gottipati, Shyam Prasad Yanamaddi and Vinaykumar Chalamalla EasyChair Preprint no. 7220
Interpreting Indeterminate Sentences in Aphasia: a Probe into Semantic Coercion Caitlyn Antal, Alexa R. Falcone, Laura Pissani, Kyan Salehi and Roberto G. de Almeida EasyChair Preprint no. 6631
Modified Semantic Feature Analysis for the Anomia and Dysgraphia: a Case Study in Chinese Olivia Ho Yi Yeung, Edwina Hung and Dustin Kai-Yan Lau EasyChair Preprint no. 6438
The White Matter Correlates of Domain-Specific Working Memory Autumn Horne, Talha Arif, Suravi Sarkar, Cat Grimme and Randi Martin EasyChair Preprint no. 6367
Contribution of Phonology and Semantics to Verb Inflection Deficit in Post-Stroke Aphasia Aneta Kielar EasyChair Preprint no. 6345
Semantic Computation of the Propositional Model Composites in Enactment Logic. Frank Appiah EasyChair Preprint no. 6186
A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description Erkki Luuk EasyChair Preprint no. 1516
Meanings, Sounds, Signs, & Gestures Tristan Tondino EasyChair Preprint no. 868
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint no. 415
Local Soundness for QBF Calculi Martin Suda and Bernhard Gleiss EasyChair Preprint no. 362
Towards the Semantics of QBF Clauses Martin Suda EasyChair Preprint no. 361
ARTiMon Monitoring Tool, The Time Domains Nicolas Rapin In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Translating False and Fickle Anglicisms in Modern Spanish Andrew Walsh In:Professional and Academic Discourse: an Interdisciplinary Perspective