✦ LIBER ✦

DEPICT: A high-level formal language for modeling constraint satisfaction problems

✍ Scribed by Abdulwahed M. Abbas; Edward P. K. Tsang; Ahmad H. Nasri

Book ID: 107435699
Publisher: Institute of Automation, Chinese Academy of Sciences
Year: 2008
Tongue: English
Weight: 234 KB
Volume: 5
Category: Article
ISSN: 1476-8186
DOI: 10.1007/s11633-008-0208-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Random Subcubes as a Toy Model for Const

Random Subcubes as a Toy Model for Constraint Satisfaction Problems

✍ Thierry Mora; Lenka Zdeborová 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 555 KB

High-level Petri-net model for a resourc

High-level Petri-net model for a resource-sharing problem

✍ Ajoy K. Datta; Sukumar Ghosh 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 394 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Object Constraint Language (OCL): A Definitive Guide

✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 374 KB

[Studies in Computational Intelligence]

[Studies in Computational Intelligence] Advances in Intelligent and Distributed Computing Volume 78 || Object-Oriented High Level Petri Nets as a Formal Language for Modelling and Design Multi-Agent Systems

✍ Badica, Costin; Paprzycki, Marcin 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 504 KB

This Book Presents The Proceedings Of The 1st International Symposium On Intelligent And Distributed Computing, Idc 2007, Held In Craiova, Romania, October 2007. Coverage Includes: Autonomous And Adaptive Computing; Data Mining And Knowledge Discovery; Distributed Problem Solving And Decision Making

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Neural Networks - ISNN 2006 Volume 3973 || A Constraint Satisfaction Adaptive Neural Network with Dynamic Model for Job-Shop Scheduling Problem

✍ Wang, Jun; Yi, Zhang; Zurada, Jacek M.; Lu, Bao-Liang; Yin, Hujun 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 218 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applied Parallel Computing Large Scale Scientific and Industrial Problems Volume 1541 || Modelica—A language for equation-based physical modeling and high performance simulation

✍ Kågström, Bo; Dongarra, Jack; Elmroth, Erik; Waśniewski, Jerzy 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 585 KB