Informatik (15 757 Artikel)

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are in...

Arti?cial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology and engineering. The scope of AIS ranges fromimmune-inspiredalgorithmsandenginee...

From Marriages to Coalitions: A Soft CSP Approach.- Solving CSPs with Naming Games.- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.- Challenges in C...

The intersection between knowledge management, computer science, and health care de?nes a technological area of great interest that has not been operated properly. Within this area medical procedur...

We would like to welcome you to the proceedings of CCIW 2009, the Computational Color Imaging Workshop, held in Saint-Etienne, France, March 26-27, 2009. This, the second CCIW, was organized by the...

The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. This was the tenth internationalconference to be held in the PaCT series. The conferences are hel...

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current ...

Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators.- Information Entropy and Granulation Co-Entropy of Partitions and Coverings: A Summary.- Lattices with Inter...

This book constitutes the refereed proceedings of the Third International Conference on Pairing-Based Cryptography, Pairing 2009, held in Palo Alto, CA, USA, in August 2009. The 16 full papers pres...

This volume brings together the peer-reviewed contributions of the participants at the COST 2102 International Conference on "Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions" ...

Band 3: Analyse und Transformation

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 200...

Invited Papers.- Well-Founded and Partial Stable Semantics Logical Aspects.- The Reachability Problem over Infinite Graphs.- Kolmogorov Complexity and Model Selection.- Automatic Verification of He...

This book constitutes the refereed proceedings of the 29th Annual International Cryptology Conference, CRYPTO 2009, held in Santa Barbara, CA, USA in August 2009. The 38 revised full papers present...

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised fu...