✦ LIBER ✦

Compact labelings for efficient first-order model-checking

✍ Scribed by Bruno Courcelle; Cyril Gavoille; Mamadou Moustapha Kanté

Publisher: Springer US
Year: 2009
Tongue: English
Weight: 701 KB
Volume: 21
Category: Article
ISSN: 1382-6905
DOI: 10.1007/s10878-009-9260-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial-order Reduction Techniques for R

Partial-order Reduction Techniques for Real-time Model Checking

✍ Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 120 KB

First order Gaussian graphs for efficien

First order Gaussian graphs for efficient structure classification

✍ Andrew D. Bagdanov; Marcel Worring 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 325 KB

First order random graphs as introduced by Wong are a promising tool for structure-based classiÿcation. Their complexity, however, hampers their practical application. We describe an extension to ÿrst order random graphs which uses continuous Gaussian distributions to model the densities of all rand

Efficient training of high-order hidden

Efficient training of high-order hidden Markov models using first-order representations

✍ J.A. du Preez 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 301 KB

First Order Theories for Partial Models

✍ Bożena Staruch; Bogdan Staruch 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 197 KB

Driven-cluster model for first-order pha

Driven-cluster model for first-order phase transitions

✍ Hiroshi Furukawa 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 304 KB

First-order regional seismotectonic mode

First-order regional seismotectonic model for South Africa

✍ Mayshree Singh; Andrzej Kijko; Ray Durrheim 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 723 KB