Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
771	Diverse and Additive Cartesian Abstraction Heuristics 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: 2014-03-07 08:16:24 Theoretical computer science Heuristic function Admissible heuristic Heuristic Abstraction Consistent heuristic Mathematical optimization Algorithm Shortest path problem Heuristics Mathematics Applied mathematics
772	PDF Document Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2013-12-23 20:28:52 Geography Abstraction Relativity Minimum bounding rectangle Grid Spacetime Representation Security token Abstract object Geometry Dimension Cartography
773	Where, Exactly, Is Software Development? Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-12-15 08:01:26 Abstraction Formal sciences Software requirements Formal methods System Computing Requirement Domain-specific language Logic Science Software development Knowledge
774	Paper accepted for inclusion in PME 26 Norwich EnglandASSOCIATIONS BETWEEN MATHEMATICALLY INSIGHTFUL1 COLLABORATIVE BEHAVIOUR AND POSITIVE AFFECT. Gaye Williams University of Melbourne Add to Reading List Source URL: www.lps.iccr.edu.au Language: English - Date: 2005-10-18 18:30:41 Psychology Cognitive science Positive psychology Creativity Abstraction Mihaly Csikszentmihalyi Flow Mathematics Complexity Educational psychology Mind Problem solving
775	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
776	From Concept To Critical Discussion A toolkit for preparing the best conference abstracts, presentations and posters Add to Reading List Source URL: s3-ap-southeast-2.amazonaws.com Language: English - Date: 2015-02-22 22:11:11 Ontology Academia Abstraction Creativity Thought Abstract Thesis Idea Presentation Cognition Knowledge Mind
777	BODY OF KNOWLEDGE KEY STAGES 1, 2, 3, 4 AND 5 Draft version 6 Editor: Dr K R Bond With contributions from the BOK sub-committee: Jack Lang Add to Reading List Source URL: www.educational-computing.co.uk Language: English - Date: 2010-08-24 04:38:18 Knowledge Programming paradigms Computer science Abstraction Science education Programming language Actor model System Informatics Education Science Computer science education
778	The Hybrid Invention Generator — Assorted Relations Bill Seaman Gideon May — programmer Funded by Intel Description of the Hybrid Invention Generator A computer-based language system exploring hybrid invention genera Add to Reading List Source URL: projects.visualstudies.duke.edu Language: English - Date: 2007-12-24 00:13:32 Theoretical computer science Models of computation Abstraction Axiology Logic Invention Computer Turing machine Electric generator Science British people Mathematics
779	CEGAR algorithm Evaluation Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp, Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-07-29 11:53:24 Mathematics Algorithms Knowledge representation Medical algorithm
780	The Ruby Language [@+]pragdave Ruby • A tool for communication Add to Reading List Source URL: 2012.rubyworld-conf.org Language: English - Date: 2013-05-29 03:11:00 APL programming language family Array programming languages Command shells APL IBM software Turing Award Alan Turing Abstraction Iverson Computing Software engineering Computer programming

UPDATE