Model-Theoretic Methods in Combined Constraint Satisfiability

By Ghilardi Silvio  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 221-249

Springer Publishing Company

Access to resources Recommend Favorite

An Acoustic-Phonetic and a Model-Theoretic Analysis of Subspace Distribution Clustering Hidden Markov Models

By Mak Brian  

International Journal of Speech Technology, Vol. 7, Iss. 1, 2004-01 ,pp. : 55-68

Springer Publishing Company

Access to resources Recommend Favorite

Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction

By  

International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), Vol. 2, Iss. 4, 2011-10 ,pp. : 25-35

IGI Global_journal

Access to resources Recommend Favorite

The provision of global public goods: a game-theoretic comparison of international environment and knowledge

By Chou P. Ben   Sylla Cheickna  

International Journal of Networking and Virtual Organisations, Vol. 8, Iss. 3-4, 2011-05 ,pp. : 254-263

Inderscience Publishers

Access to resources Recommend Favorite

Refining Model Checking by Abstract Interpretation

By Cousot P.  

Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. : 69-95

Springer Publishing Company

Access to resources Recommend Favorite