Predicate transfer - PDFSEARCH.IO - Document Search Engine

Predicate transfer
Results: 7

#	Item
1	I’m leaking oil and looking for a garage: Testing conditions on meaning transfer Sam Featherston, Klaus von Heusinger & Hanna Weiland∗ July 13, 2011 Abstract Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2011-07-13 07:27:28 Linguistics Logic Lexical semantics Psycholinguistics Grammar Semantics Propositional calculus Control Polysemy Argument Predicate transfer Predicate
2	Transfer Learning Across Relational and Uncertain Domains: A Language-Bias Approach Raksha Kumaraswamy Phillip Odom Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2015-07-10 13:58:39 Logic Linguistics Cognitive science Cybernetics Learning Machine learning First-order logic Logic programming Clause Predicate Algorithm
3	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
4	Microsoft Word - CIDR2007-150.doc Add to Reading List Source URL: www-db.cs.wisc.edu Language: English - Date: 2011-09-16 15:45:19 Actor model Futures and promises Inter-process communication Resource Representational state transfer Service-oriented architecture Predicate Computing Concurrent computing Software engineering
5	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
6	An Analysis of Spatial Relation Predicates in U.S. Geological Survey Feature Definitions Open-File Report 2011–1235 U.S. Department of the Interior Add to Reading List Source URL: pubs.usgs.gov Language: English - Date: 2011-09-16 15:12:50 Cartography Statistics Preposition and postposition Predicate Language Spatial Data Transfer Standard Spatial analysis Geospatial analysis Geographic information system Linguistics Parts of speech Grammar
7	Cognitive Science Online, Vol.2, pp.21-34, 2004 http://cogsci-online.ucsd.edu The man, the key, or the car: Who or what is parked out back? Add to Reading List Source URL: cogsci-online.ucsd.edu Language: English - Date: 2004-05-25 04:50:27 Science Deferred reference Metonymy George Lakoff Cognitive linguistics Metaphor Conceptual blending Predicate transfer Concept Linguistics Semantics Literature