AMOR
发表于 2025-3-23 10:00:24
https://doi.org/10.1007/978-3-319-73272-5t from an implementation in Prolog called C-CAT (Consistency-Checking Along Time)..The solution proposed represents an extension to Brian Williams‘ Temporal Constraint Propagation methodology. It also extends the applicability range of existing approaches to model-based diagnosis, permitting its use
Brocas-Area
发表于 2025-3-23 15:07:36
Public Health and Social Services,e to the design of the inference mechanism. We present here the syntax and declarative semantics of a propositional version of the language of maximal intervals and a first discussion of the problems in designing an inference system adequate to work with this temporal framework.
Narcissist
发表于 2025-3-23 18:09:22
http://reply.papertrans.cn/31/3005/300465/300465_13.png
危险
发表于 2025-3-24 00:32:00
http://reply.papertrans.cn/31/3005/300465/300465_14.png
Motilin
发表于 2025-3-24 03:38:12
http://reply.papertrans.cn/31/3005/300465/300465_15.png
GLARE
发表于 2025-3-24 08:17:52
Towards a theory of the repair process,quate in many applications. We will then describe several key concepts necessary for a theory of a repair process and give a general definition of the repair process. Finally, we analyze the special case of component oriented repair and briefly mention how these concepts can enhance a conventional diagnosis system.
myopia
发表于 2025-3-24 13:00:35
A neural approach to data compression and classification,fication of a neural system to perform in a wide range of application environments. This paper presents the ., a neural network model designed for . and solution of classification problems. Classification of hand-written digits is used to demonstrate its performance.
肌肉
发表于 2025-3-24 16:30:26
, the ., for which the set of successful derivations covers the set of non-negative solutions of the associated system. This definition is based on a study of cycles in context-free grammars using compiler construction concepts and techniques.
radiograph
发表于 2025-3-24 23:04:40
mance of PBA* by dynamically redirecting the local search processes that run concurrently on PBA*, toward quick path establishment. Experimental results on a uniprocessor, as well as a multiprocessor machine (Intel iPSC/2 hypercube) demonstrate the viability of the proposed method.
cliche
发表于 2025-3-25 01:41:37
https://doi.org/10.1007/978-3-662-64395-2ered. A bidirectional chart parsing was implemented in Prolog to express this idea. The results then obtained gave us some rules of thumb to get the best annotation of a grammar rule set and showed us the gain in time analysis by the spectacular pruning (65% in average for any phenomenon) of the search space.