The following pages link to Jeffrey J.-P. Tsai (Q1193838):
Displayed 12 items.
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840) (← links)
- (Q1859539) (redirect page) (← links)
- A comparative study of formal verification techniques for software architecture specifications (Q1859540) (← links)
- A Doctrine of Cognitive Informatics (CI) (Q3625787) (← links)
- IDSCA: An intelligent direction selector for the controller's action in multiloop control systems (Q3807067) (← links)
- Reasoning under uncertainty in fuzzy operator logic (Q4017754) (← links)
- (Q4255488) (← links)
- Hybrid Parallel Execution Model for Logic-Based Specification Languages (Q4495802) (← links)
- Modeling and Verification of High-Assurance Properties of Safety-Critical Systems (Q4551641) (← links)
- (Q4802384) (← links)
- (Q4867197) (← links)
- Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations (Q5102719) (← links)