The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lire la suiteThis book is a comprehensive guide to microformats. It explores why—in Bill Gates' words—"We need microformats," how ...
Lire la suiteThis book introduces a new tool for improving communication and promoting clearer thinking in a world where the use of Global ...
Lire la suiteIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lire la suiteThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lire la suiteThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lire la suiteThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
Lire la suiteProcess algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
Lire la suiteThis volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lire la suiteOn behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lire la suiteThis volume presents: the foundations of a unified morphosemantic theory of number; insight into the flow of information ...
Lire la suitePart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Lire la suiteThis book gives an overview on fundamental issues within the field of multimedia metadata focusing on contextualized, ubiquitous, ...
Lire la suiteMultimodal Processing and Interaction: Audio, Video and Text presents high quality, state-of-the-art research ideas and results ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis ...
Lire la suiteThis two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Lire la suiteThis two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the First International Joint Conference on Natural Language ...
Lire la suite