Doherty - PDFSEARCH.IO - Document Search Engine

Doherty
Results: 1049

#	Item
461	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:19 Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics
462	Automated Planning for Collaborative UAV Systems Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {jonkv,patdo}@ida.liu.se Abstrac Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-04-26 08:41:01 Mind Partial-order planning Action selection Planning Planner Action theory Artificial intelligence Automated planning and scheduling Science
463	A Delegation-Based Collaborative Robotic Framework ? Patrick Doherty, Fredrik Heintz, and David Land´en Dept. of Computer and Information Science, Link¨oping University, [removed]Link¨oping, Sweden {patdo, frehe, davla} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 11:40:49 Software engineering Logic programming Programming paradigms Concurrent computing Constraint logic programming Constraint satisfaction Actor model Goal node Constraint programming Computer programming Computing
464	Choosing Replanning Strategies for Unmanned Aircraft Systems ∗ Mariusz Wzorek and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Swed Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:47:53 Technology Probabilistic roadmap Motion planning Planning Unmanned aerial vehicle Simulation Flight test Business Mind Robot control Management Systems engineering
465	A Stream-Based Hierarchical Anchoring Framework Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet, SE[removed]Link¨oping, Sweden {frehe, jonkv Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:59:44 Knowledge Experimental psychology Perception Philosophy of mind Object Epistemology Percept Object-oriented programming Mind Artificial intelligence
466	A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model Fredrik Heintz and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, patdo}@ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:58:16 Computer programming Data model Sensor fusion Object Data fusion Has-a Self Object-oriented programming Software engineering Computing
467	Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-23 07:08:41 Signals intelligence Unmanned aerial vehicle Computing Knowledge representation FIPA Java Agent Development Framework Agent Communications Language Science Multi-agent systems Artificial intelligence Military terminology
468	Towards a Logical Analysis of Biochemical Reactions Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas1 Abstract. We provide a logical model of biochemical reactions and show how hypothesis generati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:34 Chemical reaction Chemistry
469	DyKnow: An Approach to Middleware for Knowledge Processing Fredrik Heintz∗and Patrick Doherty† Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:37:05 Object-oriented programming Programming paradigms Component-based software engineering Inter-process communication Database management systems Common Object Request Broker Architecture Reference Application programming interface Feature Software engineering Computing Computer programming
470	An Experimental Platform for Approximate Databases Martin Magnusson, Patrick Doherty, Andrzej Szalas Department of Computer and Information Science SE[removed]Link¨oping, Sweden email: {marma,patdo,andsz}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:54 Data Relational database management systems Computer languages Data modeling SQL Relational database Table Database Query language Data management Database theory Computing

UPDATE