Model-Theoretic Methods in Combined Constraint Satisfiability

ISSN： 0168-7433

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A model-theoretic interpretation of environment-induced superselection

By Fields Chris

International Journal of General Systems, Vol. 41, Iss. 8, 2012-11 ,pp. : 847-859

Taylor & Francis Ltd

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

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

On set-theoretic methods in tracking MPC

By Maree Johannes P.

International Journal of Systems, Control and Communications, Vol. 5, Iss. 2, 2013-08 ,pp. : 140-155

Inderscience Publishers

Access to resources Recommend Favorite

Some Equivalences between Kernel Methods and Information Theoretic Methods

By Jenssen Robert Eltoft Torbjørn Erdogmus Deniz Principe Jose

Journal of VLSI Signal Processing, Vol. 45, Iss. 1-2, 2006-11 ,pp. : 49-65

Springer Publishing Company

Access to resources Recommend Favorite