Informatik (15 757 Artikel)

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings

overy, geometric search, and computing models.

A Framework for Supporting Active Cyber Defense

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

The book provides an overview of the state-of-the-art of map construction algorithms, which use tracking data in the form of trajectories to generate vector maps. The most common trajectory type is...

Toward Autonomously Social Robots

17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa de...

The 14 papers presented were selected from 127 paper submissions. The papers focus on the following topics: cloud computing fundamentals; services science foundations for cloud computing; cloud com...

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers pr...

8th Russian Summer School, RuSSIR 2014, Nizhniy Novgorod, Russia, August 18-22, 2014, Revised Selected Papers

7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6-8, 2015. Revised Selected Papers