<--- Back to Details
First PageDocument Content
Finite automata / Timed automaton / Logic in computer science / Automated planning and scheduling / Fluent / Finite-state machine / Theoretical computer science / Planning Domain Definition Language / Models of computation
Date: 2015-02-02 08:45:53
Finite automata
Timed automaton
Logic in computer science
Automated planning and scheduling
Fluent
Finite-state machine
Theoretical computer science
Planning Domain Definition Language
Models of computation

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Download Document from Source Website

File Size: 150,67 KB

Share Document on Facebook

Similar Documents

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

DocID: 1sfbi - View Document

cs281: Introduction to Computer Systems  Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

DocID: 1rqsB - View Document

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

DocID: 1rjTr - View Document

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

DocID: 1riTt - View Document

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

DocID: 1r6CB - View Document