Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
141	Intelligent Abstraction – Intelligent Predictive Analytics – Intelligent Action Storage Challenges for next Generation Scale-Out Data Center (WHD) © 2016 FalconStor Software®. All Rights Reserved Add to Reading List Source URL: www.whd.global Language: English - Date: 2016-03-30 08:16:14 Computing Computer data storage Cloud storage Data management Telecommunications engineering Computer storage devices Software-defined storage FalconStor Software Solid-state drive ISCSI Storage area network IOPS
142	Getting to Know the Unknown Unknowns Sanjar Karaev, Pauli Miettinen, Jilles Vreeken Vancouver, May 1, 2015 Add to Reading List Source URL: eda.mmci.uni-saarland.de Language: English - Date: 2016-05-11 17:09:50 Ignorance Epistemology Quotations There are known knowns Abstraction Cognitive science
143	Modulare Werkzeugarchitektur A critical discussion on Domain-Specific Languages Disclaimer Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Software engineering Computing Programming paradigms Computer programming Domain-specific language Programming language implementation Red Programming language Tom Object-oriented programming Abstraction Rodrigo B. De Oliveira
144	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
145	/tmp/scitmpfigure3.eps Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Logic Algorithm Mathematical logic Theoretical computer science Modal logic Philosophy Abstraction
146	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:33 Logic Philosophy Quantification Abstraction Semantics Ontology Quantifier Count noun Proposition Implicature Quantity Mathematical logic
147	Keith Simmons Philosophy, UNC Chapel Hill Deflationary Truth and the Liar The topic of this paper lies at the intersection of two contemporary debates about truth. Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-15 15:09:58 Philosophy Logic Abstraction Theories of truth Philosophy of language Philosophical logic Meaning Propositions Semantic theory of truth Truth-bearer Redundancy theory of truth Truth
148	TRUTH FUNCTIONAL CONNECTIVES. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Philosophy Abstraction Logical connectives Atomic sentence Propositional calculus Logical truth Truth function Truth value Logical disjunction If and only if Negation
149	Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:09 Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain
150	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra

UPDATE