A formal framework for verifying distributed embedded systems based on abstraction methods

By Carcenac Francois   Boniol Frederic  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 471-484

Springer Publishing Company

Access to resources Recommend Favorite

A Bit Level Representation for Time Series Data Mining with Shape Based Similarity

By Bagnall Anthony   Ratanamahatana Chotirat   Keogh Eamonn   Lonardi Stefano   Janacek Gareth  

Data Mining and Knowledge Discovery, Vol. 13, Iss. 1, 2006-07 ,pp. : 11-40

Springer Publishing Company

Access to resources Recommend Favorite

A generalised framework for simulation-based decision support for manufacturing

By AlDurgham Mohammed   Barghash Mahmoud  

Production Planning and Control, Vol. 19, Iss. 5, 2008-07 ,pp. : 518-534

Taylor & Francis Ltd

Access to resources Recommend Favorite

Decision procedures for inductive Boolean functions based on alternating automata

By Ayari A.   Basin D.   Klaedtke F.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 301-329

Elsevier

Access to resources Recommend Favorite

Co-operation framework of case-based reasoning agents for automated product recommendation

By Baykal M. O.  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 17, Iss. 3, 2005-09 ,pp. : 201-220

Taylor & Francis Ltd

Access to resources Recommend Favorite