𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - An assume-guarantee model checker for component-based systems

✍ Scribed by Duong Hoang-Minh, ; Trinh Le-Khanh, ; Pham Ngoc Hung,

Book ID: 126671578
Publisher: IEEE
Year: 2013
Weight: 870 KB
Category: Article
ISBN: 1479913499
DOI: 10.1109/RIVF.2013.6719860

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE RIVF International Confe

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Optimizing deep bottleneck feature extraction

✍ Nguyen, Quoc Bao; Gehring, Jonas; Kilgour, Kevin; Waibel, Alex 📂 Article 📅 2013 🏛 IEEE ⚖ 659 KB

[IEEE 2013 IEEE RIVF International Confe

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Green communication through optimal power allocation in 4G networks

✍ Chakrapani, Arvind; Malaney, Robert 📂 Article 📅 2013 🏛 IEEE ⚖ 641 KB

[IEEE 2013 IEEE RIVF International Confe

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Applying hidden topics in ranking social update streams on Twitter

✍ Thi-Tuoi Nguyen, ; Tri-Thanh Nguyen, ; Quang-Thuy Ha, 📂 Article 📅 2013 🏛 IEEE ⚖ 747 KB

[IEEE 2013 IEEE RIVF International Confe

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - On the effect of the label bias problem in part-of-speech tagging

✍ Phuong Le-Hong, ; Xuan-Hieu Phan, ; The-Trung Tran, 📂 Article 📅 2013 🏛 IEEE ⚖ 582 KB

[IEEE 2013 IEEE RIVF International Confe

[IEEE 2013 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2013.11.10-2013.11.13)] The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF) - Performance of FSO systems employing SC-QAM over atmospheric turbulence channels and pointing errors

✍ Trung, Ha D.; Ngo, Dinh V.; Pham, Hung T.; Hoang, Dung V.; Nguyen, Luong N. 📂 Article 📅 2013 🏛 IEEE ⚖ 870 KB

[IEEE Communication Technologies, Resear

[IEEE Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Hanoi, Vietnam (2010.11.1-2010.11.4)] 2010 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) - Distributed Model Predictive Control for Complex Interconnection Systems

✍ Tran, Tri; Ha, Q. P. 📂 Article 📅 2010 🏛 IEEE ⚖ 172 KB