Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
741	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoOctober, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:37 Programming paradigms Abstraction Scheme Procedural programming Denotational semantics Id Pascal SQL ACT-R Computing Software engineering Programming language theory
742	Additive Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-06-05 11:45:20 Science Heuristic function Admissible heuristic Heuristic Abstraction Consistent heuristic Friedrich Robert Helmert Algorithm Shortest path problem Heuristics Mathematics Applied mathematics
743	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics
744	Measuring the Topical Specificity of Online Communities Matthew Rowe1 , Claudia Wagner2 , Markus Strohmaier3 , and Harith Alani4 1 School of Computing and Communications, Lancaster University, Lancaster, UK Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Networks Network analysis Algebraic graph theory Centrality Abstraction Internet forum Function Mathematics Network theory Graph theory
745	UK Groundwater Forum Briefing Note Groundwater: a valuable resource This note provides a brief technical overview of groundwater in the UK, describing the social, Add to Reading List Source URL: www.groundwateruk.org Language: English - Date: 2009-04-01 06:17:30 Aquifers Earth Hydraulic engineering Geotechnical engineering Groundwater Hydrogeology Water pollution Water abstraction Water table Water Hydrology Environment
746	Task and Social Coordination in Agent Organizations Virginia Dignum Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-05-10 08:47:05 Structuration Coordination Science Linguistics Abstraction Agent-based model Complex systems theory Scientific modeling
747	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
748	Информационные технологии Университетский научный журнал № ) Add to Reading List Source URL: www.mvstudium.com Language: English - Date: 2015-01-27 08:45:00 Differential equations Computing Abstraction Modelica Dymola Control theory Systems theory Hybrid system Differential algebraic equation Simulation software Mathematics Object-oriented programming
749	Diverse and Additive Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-01-31 16:37:01 Cognition Innovation Abstraction Data management Friedrich Robert Helmert Admissible heuristic Heuristics Problem solving Mind
750	Microsoft Word - FormalismAndIntuition.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:53:32 Abstraction Formal sciences Philosophy of mathematics Reasoning Systems Reason Complexity Formal methods Logic Science Knowledge Ethology

UPDATE