Now showing items 11-15 of 15
Recognition of Volumetric Features from CAD Models: Problem Formalization and Algorithms
Automated recognition of features from CAD models has been attempted for a wide range of application domains in mechanical engineering. However, the absence of a clear mathematical formalism for the problem has made it ...
Adaptive Control of Nonlinear Systems with Applications to Flight Control Systems and Suspension Dynamics
In this dissertation, we employ recent theoretical advances in differential geometric formulation of nonlinear control theory and adaptive control to develop a practical adaptive nonlinear control strategy.<P>We first ...
WFS + Branch and Bound = Stable Models
Through the semantics of non-monotonic logic programming has been studied extensively, relatively little work has been done on operational aspects of these semantics. In this paper, we develop techniques to compute the ...
Complexity, Decidability and Undecidability Results for Rule- Based Expert Systems
We prove the equivalence of domain-independent planning systems and rule-based expert systems. We use this equivalence to examine how the complexity of deriving conclusions in rule-based expert systems depends on the nature ...
On the Complexity of Blocks-World Planning
In this paper, we show that blocks-world planning is difficult, in the sense that finding an optimal plan is NP-hard. This is true regardless of whether or not, the goal state is completely specified, and regardless of ...