Doherty - PDFSEARCH.IO - Document Search Engine

Doherty
Results: 1049

#	Item
441	Location of the M 2.0 Earthquake on[removed]that Occurred 25 km North of West Valley, New York. Won–Young Kim, Ph.D. Lamont Research Professor Lamont-Doherty Earth Observatory of Columbia University Palisades, New Y Add to Reading List Source URL: www.ldeo.columbia.edu Language: English - Date: 2010-10-14 13:20:01 Seismology Seismic wave Earthquake
442	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
443	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
444	Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow Fredrik Heintz, Piotr Rudol, and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:57:01 National security Military terminology Signals intelligence Unmanned aerial vehicle Sensor fusion Geographic information system Infrared Object Pose Electromagnetic radiation Espionage Computer vision
445	Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing Fredrik Heintz and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨opings universite Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:49:49 Software engineering Middleware Video game development Stream processing Database Game engine Abstraction Complex event processing Robotics middleware Computing Systems engineering Programming paradigms
446	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
447	From Images to Traffic Behavior - A UAV Tracking and Monitoring Application Fredrik Heintz, Piotr Rudol and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, pioru, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:56:50 Signals intelligence Unmanned aerial vehicle Object Data types Object-oriented programming Military terminology
448	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:52 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
449	Managing Dynamic Object Structures using Hypothesis Generation and Validation Fredrik Heintz and Patrick Doherty Abstract Any autonomous system embedded in a dynamic and changing environment must be able to create qualit Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 07:01:06 Software engineering Object Manager Windows NT architecture Object Pose E Computer programming Object-oriented programming Computer vision Computing
450	Stream Reasoning in DyKnow: A Knowledge Processing Middleware System? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping Univers Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:58:43 Inter-process communication Software engineering Computer programming Computer data Stream Flow-based programming Computing Programming paradigms Models of computation

UPDATE