Planning - PDFSEARCH.IO - Document Search Engine

Planning
Results: 185579

#	Item
21	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
22	Capacity Planning in a General Supply Chain with Multiple Contract Types by Xin Huang Submitted to the Department of Electrical Engineering and Computer Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:56 Mathematics Computational complexity theory Applied mathematics Algorithm Mathematical logic Theoretical computer science Mathematical optimization Linear programming Shortest path problem Ant colony optimization algorithms Genetic algorithm
23	Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim† Department of Computing and Information Systems, The University of Melbourne, Australia Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:32 Information science Mathematics Information retrieval Poi Recommender system Tourism Personalization Travelling salesman problem
24	BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS Add to Reading List Source URL: www.teradactyl.com Language: English Computing Computer data storage Server appliance Network-attached storage Nearline storage Converged storage Spectra Logic
25	Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:27 Operator theory Harmonic analysis Mathematics Partial differential equations Morphism of algebraic varieties Beltrami equation
26	Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California Add to Reading List Source URL: shukla.io Language: English - Date: 2017-10-15 18:03:50 Theoretical computer science Logic in computer science Logic programming Mathematics Mathematical logic Fluent Situation calculus Event calculus Utility Artificial neural network Robotics Robot
27	SUPERIOR AUDIENCE PRECISION With SpotRight, you can design, build and activate high-performing custom audiences from a single application for the first time. This allows you to eliminate massive waste between planning an Add to Reading List Source URL: spotright.com Language: English - Date: 2018-03-30 12:46:17 Market segmentation Microeconomics Business economics Market economics) Marketing Target audience Personalized marketing Audience
28	Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:38 Automated planning and scheduling Artificial intelligence Planning Domain Definition Language Mathematical optimization Model checking Heuristic Motion planning Genetic algorithm Protein domain Cognitive science Learning
29	Planning with PDDL3.0 Preferences by Compilation into STRIPS with Action Costs Percassi Francesco University of Brescia Department of Information Engineering Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:37 Automated planning and scheduling Temporal logic Computation tree logic Logic in computer science STRIPS Planning Domain Definition Language Theoretical computer science Computing
30	Case Study Bank Of Shanghai An examination of how – through early adoption of modern core banking software and clear strategic planning – Bank of Shanghai has readied itself for, and is already exploiting, the signif Add to Reading List Source URL: www.temenos.com Language: English - Date: 2016-03-17 11:09:50 Financial services Economy Finance Banking in China H shares CNX Nifty Bank Big Four Industrial and Commercial Bank of China HSBC Chinabank Shanghai

UPDATE