Informatik (14.430 Artikel)

Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical repres...

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for a...

This book collects the revised selected proceedings of the  First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in  December 2018...

Monitoring, Security, and Rescue Techniques in Multiagent Systems

Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

1. 1 Introduction The objective of this book is to introduce Monte Carlo methods to ?nd good approximate solutions to fuzzy optimization problems. Many crisp (nonfuzzy) optimization problems have a...

This book constitutes the refereed proceedings of the First Workshop on Monte Carlo Search, MCS 2020, organized in conjunction with IJCAI 2020. The event was supposed to take place in Yokohama, Jap...

tures.

Language Models Demystified

Following the success of the first edition, recent developments in the field of morphological image analysis called for an extended second edition. The text has been fully revised with the goal of ...

Measuring the Body's Contribution to Intelligence

Measuring the Body's Contribution to Intelligence

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Motion in Games, held in Utrecht, The Netherlands, during June 14-17, 2008, in collabo...

Curious Characters for Multiuser Games

Curious Characters for Multiuser Games