Informatik (14.427 Artikel)

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutori...

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Wor...

The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, held October 11-12, 2006, in Leipzig, Germany. TMRA 2006 was the second ...

Recent work on formal methods in computational lexical semantics has had theeffect of bringing many linguistic formalisms much closer to the knowledge representation languages used in artificial in...

1 Einführung.- 1.1 Beschreibung von Volltexten durch Textgrammatiken.- 1.2 Adäquatheitsbetrachtungen zur Wahl eines geeigneten Parsing-Ansatzes für die Analyse von Volltexten.- 1.3 Prinzipien des l...

Dependability has always been an vital attribute of operational systems, regardless of whether they are highly-specialised (like electricity generating plants) or more general-purpose (like domesti...

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulati...

Tools, Affective Functions, and Applications

Lifelong and Continual Learning Dialogue Systems

Lifelong and Continual Learning Dialogue Systems

This book constitutes the refereed post-conference proceedings of the Third International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2014, held in Istanbul, Turkey, in ...

4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2016, held in Aksaray, Turkey, in Sep...

This book constitutes the proceedings of the 2th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2013, held in Gebze, Turkey, during May 6-7, 2013. The 10 full...