✦ LIBER ✦

VeriTech: a framework for translating among model description notations

✍ Scribed by Orna Grumberg; Shmuel Katz

Book ID: 106245428
Publisher: Springer
Year: 2006
Tongue: English
Weight: 560 KB
Volume: 9
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-006-0003-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generative model for translating from

A generative model for translating from ordinary language into symbolic notation

✍ William E. McMahon 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 945 KB

Maximum Entropy Modeling: A Suitable Fra

Maximum Entropy Modeling: A Suitable Framework to Learn Context-Dependent Lexicon Models for Statistical Machine Translation

✍ Ismael García-Varea; Francisco Casacuberta 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 253 KB

A translational research framework for e

A translational research framework for enhanced validity of mouse models of psychopathological states in depression

✍ Christopher R. Pryce; Erich Seifritz 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 595 KB

Description of the Translation-Invariant

Description of the Translation-Invariant Splitting Gibbs Measures for the Potts Model on a Cayley Tree

✍ Külske, C.; Rozikov, U. A.; Khakimov, R. M. 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 184 KB

Translating the WHO Framework Convention

Translating the WHO Framework Convention on Tobacco Control (FCTC): Can we use tobacco control as a model for other non-communicable disease control?

✍ G. Lien; K. DeLand 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 175 KB

[Lecture Notes in Computer Science] Conc

[Lecture Notes in Computer Science] Conceptual Structures: Logical, Linguistic, and Computational Issues Volume 1867 || A Conceptual Graph Model for W3C Resource Description Framework

✍ Ganter, Bernhard; Mineau, Guy W. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 122 KB

Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of