Semantics - PDFSEARCH.IO - Document Search Engine

Semantics
Results: 7371

#	Item
601	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology
602	A New Corpus and Imitation Learning Framework for Context-Dependent Semantic Parsing Andreas Vlachos Computer Science Department University College London Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-11-26 07:09:11 Software engineering Semantics Computer programming Linguistics Multimodal interaction Compiler construction Parsing Semantic interpretation Dependency grammar Predicate Syntax
603	WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Software Frama-C Formal methods Predicate transformer semantics Alt-Ergo Linux kernel
604	Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-12 12:31:46 Logic Non-classical logic Philosophy Belief revision Paraconsistent logic Philosophical logic Mathematical logic Adaptive behavior
605	Simon Charlow, NYU De re anaphors. We motivate a binding theory for pronouns in intensional contexts with distributional facts about de re/de se ±anaphoric pronouns. We present new arguments that (a) de se readings are Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Syntax Linguistics Grammar Semantics Modern English personal pronouns Personal pronouns Pronouns De se Binding Reflexive pronoun Anaphora Singular they
606	976 MFK-Mendip Page: 665 of 675 Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:55:45 Syntax Linguistics Grammar Disputes in English grammar Modern English personal pronouns Pronouns Semantics Binding English relative clauses Antecedent Singular they Anaphora
607	FrameNet II: Extended Theory and Practice Josef Ruppenhofer Michael Ellsworth Miriam R. L. Petruck Christopher R. Johnson Jan Scheffczyk Add to Reading List Source URL: framenet2.icsi.berkeley.edu Language: English - Date: 2015-08-28 20:11:13 Linguistics Knowledge representation Semantics Computational linguistics Corpus linguistics Grammar FrameNet Frame semantics American National Corpus Lexical item WordNet Word sense
608	snippets Issue 17 MayContents Add to Reading List Source URL: www.ledonline.it Language: English - Date: 2008-06-04 19:03:58 Syntax Semantics Logic Grammar Linguistics Coordination Coordinate Negation C-command Quantifier
609	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
610	From Words to Behaviour via Semantic Networks Armand S. Rotaru () Gabriella Vigliocco () Faculty of Brain Sciences, University College London, Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2016-05-14 09:09:53 Semantics Cognitive science Cognition Computational linguistics Linguistics Semantic memory Psycholinguistics Natural language processing Artificial intelligence Semantic similarity Distributional semantics Semantic network

UPDATE