✦ LIBER ✦

Temporal constraint reasoning mechanisms for microprocessor systems diagnosis

✍ Scribed by S.M. Yuen; K.P. Lam

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 788 KB
Volume: 9
Category: Article
ISSN: 0950-7051
DOI: 10.1016/0950-7051(95)01018-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-based diagnosis of complex systems

Model-based diagnosis of complex systems: Structuring and temporal reasoning

✍ T Hübner 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 602 KB

Microprocessor-based portable system for

Microprocessor-based portable system for heart condition diagnosis

✍ A.H. Al-Ambuky; MI Derzi; OM Hamudi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 470 KB

A probabilistic strategy for temporal co

A probabilistic strategy for temporal constraint management in scientific workflow systems

✍ Xiao Liu; Zhiwei Ni; Jinjun Chen; Yun Yang 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 716 KB

A knowledge server for reasoning about t

A knowledge server for reasoning about temporal constraints between classes and instances of events

✍ Paolo Terenziani; Luca Anselma 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 269 KB

Reasoning with temporal constraints is a ubiquitous issue in many computer science tasks, for which many dedicated approaches have been and are being built. In particular, in many areas, including planning, workflow, guidelines, and protocol management, one needs to represent and reason with tempora

MIDAS: an application of model-based rea

MIDAS: an application of model-based reasoning for the diagnosis of hydraulic systems

✍ N.F. Doherty; A.K. Kochhar 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 874 KB

Multiple states based temporal consisten

Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems

✍ Jinjun Chen; Yun Yang 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB