An efficient projected minimal conflict generator for projected prime implicate and implicant generation
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004. === Includes bibliographical references (p. 109-111). === Performing real-time reasoning on models of physical systems is essential in many situations, especially when human intervention is impossible....
Main Author: | Elliott, Paul Harrison, 1979- |
---|---|
Other Authors: | Brian C. Williams. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/17766 |
Similar Items
-
Generating quality software specifications for decision support : a novel approach
by: Voightmann, Michael P. (Michael Paul), 1979-
Published: (2005) -
Dynamic stability analysis of a multi-stage axial compressor with design implications
by: Blanvillain, Emmanuel, 1979-
Published: (2013) -
Noise reduction assessments and preliminary design implications for a functionally-silent aircraft
by: Pilczer, Déborah, 1979-
Published: (2013) -
Gradient projection anti-windup scheme
by: Teo, Chun Sang Justin
Published: (2011) -
Entropy generation in fluid mixing
by: Le Floch-Yin, François T. (François Thomas)
Published: (2007)