✦ LIBER ✦

A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations

✍ Scribed by Ginés Moreno

Book ID: 108498342
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 248 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80698-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Class of Rewriting Rules and Reverse T

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation

✍ Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 297 KB

In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variab

Refining fuzzy control rules for the inv

Refining fuzzy control rules for the inverted double pendulum system based on a transformation-type genetic algorithm

✍ Muchammad Romzi; Junji Nishino; Tomohiro Odaka; Hisakazu Ogura 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 538 KB

We have been studying fuzzy control of the inverted double pendulum in computer simulations. We can control the inverted double pendulum by fuzzy control rules acquired by trial and error. In this research, we attempted to acquire fuzzy control knowledge for the double pendulum automatically by usin