Searching for "Logic Control with Logic." – sorted by Relevance.
66 documents found, showing 1 through 10.
Next 10 →
-
The Intelligent Channel: A Scheme For Result Sharing in Logic Programs
- … University of Maryland 1. Introduction The separation of logic and control In logic programs allows…
- Add To MetaCart
-
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
- … of Technology Haifa 32000, Israel Abstract It is common to view programs as a combination of logic and control…
- Cited by 1 (1 self) – Add To MetaCart
-
Visual Metaphors for Understanding Logic Program Execution
- … is the separation of logic and control. Logic is for problem solving; control is for directing inference. However…
- Add To MetaCart
-
Formal Verification of Programmable Logic Controllers
- … Formal Verification of Programmable Logic Controllers Arne Boralv, Herman Agren Computing Science…
- Cited by 1 (0 self) – Add To MetaCart
-
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications
- … on behavior logic and control logic analysis. To conclude, a case study is presented for illustrating…
- Add To MetaCart
-
Efficient techniques based on gate triggering for designing static CMOS ICs with very low glitch power dissipation
- … of control logic, which, when enabled, triggers logic evaluation at the gate. A clocked delay chain…
- Cited by 1 (1 self) – Add To MetaCart
-
Modeling web-based dialog flows for automatic dialog control
- …}@(email omitted); Abstract In web-based applications, the dialog control logic is often hidden in or entwined…
- Cited by 6 (4 self) – Add To MetaCart
-
A Dialog Control Framework for Hypertext-Based Applications
- … is accompanied by a framework that implements a dialog control logic capable of handling multiple presentation…
- Add To MetaCart
-
Software Tools For Verification Of Modular Fsm Based Logic Control For Use In Reconfigurable
- … SOFTWARE TOOLS FOR VERIFICATION OF MODULAR FSM BASED LOGIC CONTROL FOR USE IN RECONFIGURABLE MACHINING…
- Cited by 1 (0 self) – Add To MetaCart
-
A Dialog Control Framework for Hypertext-Based Applications
- …. Because of insufficient dialog control logic, they cannot manage nested and hierarchical dialog structures…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
