Action description language - PDFSEARCH.IO - Document Search Engine

Action description language
Results: 51

#	Item
1	The 14th IPA IT Symposium Oct, 1995 Assertion Defintion Language Project Research Results and Future Plans † Add to Reading List Source URL: adl.opengroup.org Language: English - Date: 2001-11-22 13:31:21 Design Software engineering Action description language Anti-Defamation League Systems engineering ADL Educational technology EAST-ADL Assertion definition language Software architecture Systems architecture
2	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
3	An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:51 Action description language Interpretation Entailment Model theory Parity of a permutation Logic Metalogic Symbol
4	Learning and Executing Generalized Robot Plans Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:11:40 Robot Mobile robot Action description language Automated planning and scheduling Artificial intelligence STRIPS
5	Microsoft PowerPoint - Planning final.ppt Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2005-05-26 21:30:16 STRIPS Finite-state machine FO Action description language GOAL agent programming language Automated planning and scheduling Artificial intelligence Hierarchical task network
6	onTAP Interconnect Test Product Description Interconnect Test Interconnect tests are a key function of any boundary scan test program. The onTAPInterconnect Test performs the 3 essential functions of boundary scan: 1. C Add to Reading List Source URL: www.flynn.com Language: English - Date: 2015-03-10 14:16:18 Electronic engineering Boundary scan Joint Test Action Group Serial Vector Format Resistor Automatic test pattern generation Boundary scan description language Electronics manufacturing Manufacturing Electronics
7	Fast Planning Through Planning Graph Analysis∗ Merrick L. Furst School of Computer Science Carnegie Mellon University Pittsburgh PA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-06 11:34:56 Search algorithms Automated planning and scheduling Graphplan Breadth-first search STRIPS Algorithm Graph Action description language Partial-order planning Mathematics Graph theory Artificial intelligence
8	onTAP® Series 4000 with ProScan B o u n d a r y S c a n Add to Reading List Source URL: www.flynn.com Language: English - Date: 2011-06-14 10:41:40 Electronic engineering Joint Test Action Group Boundary scan Serial Vector Format Field-programmable gate array Automatic test pattern generation Berkeley Software Distribution Boundary scan description language Electronics manufacturing Manufacturing Electronics
9	onTAP® Series 4000 with ProScan B o u n d a r y S c a n Add to Reading List Source URL: www.flynn.com Language: English - Date: 2011-06-14 10:46:28 Electronic engineering Joint Test Action Group Boundary scan Design for testing Boundary scan description language Electronics manufacturing Manufacturing Electronics
10	onTAP Expert JTAG Test Development Service Expert JTAG Test Development Proprietary test development procedures include: * * Add to Reading List Source URL: www.flynn.com Language: English - Date: 2015-03-10 14:16:25 Electronic engineering Joint Test Action Group Boundary scan Design for testing Test Boundary scan description language Electronics manufacturing Manufacturing Electronics

UPDATE