Episode Analysis: A Practical Approach for Temporal Reasoning in Automated Processes

By Parthasarathy S.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 1, 1995-02 ,pp. : 53-60

Elsevier

Access to resources Recommend Favorite

A framework for the analysis of dynamic processes based on Bayesian networks and case-based reasoning

By Makohliso S.A.   Giovangrandi L.   Leonard D.   Mathieu H.J.   Ilegems M.   Aebischer P.   Barrientos M.A.   Vargas J.E.  

Expert Systems with Applications, Vol. 15, Iss. 3, 1998-10 ,pp. : 287-294

Elsevier

Access to resources Recommend Favorite

Multi-stage production system: modelling and analysis using simulation

By Gunasekaran A.   Goyal S.K.  

International Journal of Computer Applications in Technology, Vol. 12, Iss. 2-3, 2003-07 ,pp. : 119-130

Inderscience Publishers

Access to resources Recommend Favorite

Reasoning about recursive processes - Expansion is not always fair

By Brookes S.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite