Titlebook: EPIA‘91; 5th Portuguese Confe Pedro Barahona,Luís Moniz Pereira,António Porto Conference proceedings 1991 Springer-Verlag Berlin Heidelberg

AMOR

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

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

危险

Motilin

GLARE

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

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.

肌肉

, 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

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

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.