Semantics

Results: 7371



#Item
491Computing / Network architecture / Internet / Computer networking / Routing protocols / Internet Standards / Internet protocols / Routing / Border Gateway Protocol / Router / Autonomous system / Convergence

Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

Add to Reading List

Source URL: sandcat.cs.washington.edu

Language: English - Date: 2016-07-18 14:23:27
492Linguistics / Language / Cognitive science / Computational linguistics / Semantics / Knowledge representation / Generative linguistics / Lexical semantics / Natural language generation / Lexicon / Machine translation / Lexical resource

Computational Linguistics Volume 26, Number 2 Lexical Semantics and Knowledge Representation in Multilingual Text Generation

Add to Reading List

Source URL: nlp.cs.uic.edu

Language: English - Date: 2013-03-02 15:00:28
493Computational linguistics / Algebra / Linguistics / Natural language processing / Applied linguistics / Semantics / Vectors / Linear algebra / N-gram / Semantic similarity / SemEval / Bigram

Distributional Semantics Beyond Words: Supervised Learning of Analogy and Paraphrase Peter D. Turney National Research Council Canada Information and Communications Technologies Ottawa, Ontario, Canada, K1A 0R6

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2013-10-12 03:17:44
494Linguistics / Computational linguistics / Applied linguistics / Corpus linguistics / Natural language processing / Semantics / Treebank / DELPH-IN / International Corpus of English / Dependency grammar / PropBank / Part-of-speech tagging

DeepBankPT and companion Portuguese treebanks in a multilingual collection of treebanks aligned with the Penn Treebank António Branco, Catarina Carvalheiro, Francisco Costa, Sérgio Castro, João Ricardo Silva, Cláudia

Add to Reading List

Source URL: www.di.fc.ul.pt

Language: English - Date: 2016-06-07 05:56:27
495Linguistics / Parts of speech / Semantics / Grammar / Philosophy of language / Verb / Jrgen Moltmann / Lexical semantics / Transitive verb / Intension / Modal verb / Copula

Intensional Transitive Verbs: I owe you a horse Florian Schwarz (Revised version, May 22, Introduction

Add to Reading List

Source URL: florianschwarz.net

Language: English - Date: 2015-05-22 15:12:10
496Computational linguistics / Linguistics / Semantics / Corpus linguistics / Syntax / Treebank

Mining  cultural  insights  from   online  texts Big  Data  Science  @  SDSU
 March  7,  2015 Rob  Malouf  

Add to Reading List

Source URL: humandynamics.sdsu.edu

Language: English - Date: 2015-03-14 12:11:52
497Thematic roles / Linguistics / Semantics / Cognitive science / Resultative / Theta role / Argument / Thematic relation / Patient

Participant Sharing in Chinese Resultatives Mingming Liu (Rutgers University) Introduction: Chinese resultatives take the form of verb compounds V1-V2, V1 denoting an activity e1 and V2 its resultant state s2. An example

Add to Reading List

Source URL: www.macsim.us

Language: English - Date: 2013-04-02 10:13:05
498Cognitive science / Semantics / Cognition / Analogy / Analogical models / Dedre Gentner / Scientific modelling

Commentary: ANALOGICAL THINKING IN GEOSCIENCE EDUCATION Benjamin D. Jee1, David H. Uttal1, 2, Dedre Gentner1, 3, Cathy Manduca4, Thomas F. Shipley5, Basil Tikoff6, Carol J. Ormand4, 7, and Bradley Sageman8 ABSTRACT Geos

Add to Reading List

Source URL: spatialintelligence.org

Language: English - Date: 2010-02-12 10:08:16
499Logic / Logical connectives / Propositional calculus / Material conditional / Negation / Truth table / Logical biconditional / Truth function / Exclusive or / Truth value / Tautology / Universal quantification

3 Semantics for Sentential Logic 1 Truth-functions Now that we know how to recover the sentential logical form of an English argument from the argument itself, the next step is to develop a technique for testing argumen

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
500Logic / Mathematics / Mathematical logic / Logic programming / Model theory / Stable model semantics / Modal logic / Substitution / FO / Binomial coefficient

Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2008-11-30 17:58:06
UPDATE