✦ LIBER ✦

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 153 || A Unified Operational Semantics for UML in Situation Calculus

✍ Scribed by Shen, Gang; Huang, Xiong

Book ID: 121421345
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 225 KB
Category: Article
ISBN: 3642214118
DOI: 10.1007/978-3-642-21411-0_78

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 153 || Research on Biomimetic Robot-Crocodile Used for Cleaning Industrial Pipes

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 238 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 153 || Igneous Rocks Recognition Based on Improved Fuzzy Neural Network

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 183 KB

This two-volume set (CCIS 152 and CCIS 153) constitutes the refereed proceedings of the International Conference on Computer Science and Information Engineering, CSIE 2011, held in Zhengzhou, China, in May 2011. The 159 revised full papers presented in both volumes were carefully reviewed and select

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 153 || Research on the Real-Time Image Edge Detection Algorithm Based on FPGA

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 289 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 153 || Multi-modal Genetic Algorithm Based on Excellent Sub-population Migrating Strategy

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 198 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 152 || A Novel Compensation Strategy for Dynamic Sag Corrector

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 341 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Advanced Research on Computer Science and Information Engineering Volume 152 || Design and Analysis of a Sun Tracking System

✍ Shen, Gang; Huang, Xiong 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 254 KB