Informatik (15 757 Artikel)

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distribute...

Adaptive Hypermedia has emerged as an important area of both academic and deployed research. It encompasses a broad range of research that will enable personalized, adaptive hypermedia systems to p...

17th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2003) - Award-Winning Papers.- Award-Winning Papers (Overview).- Analysis of Hepatitis Dataset by Decision Tree Base...

The pixelization paradigm states as a postulate that pixelization methods are rich and are worth exploring as far as possible. In fact, we think that the strength of these methods lies in their sim...

This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, held in Lausanne, Switzerland in February 2008. The 26 revised fu...

Erfolgsfaktoren für die Praxis

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised ...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research ...

Eine Einführung in die Theorie nichtlinearer Systeme

Algorithmen - Systeme - Anwendungen

Reinventing Computing for Real Time.- Applying Service-Oriented Development to Complex Systems: BART Case Study.- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case S...

Contributed Papers.- Propositional Logics from Rough Set Theory.- Intuitionistic Rough Sets for Database Applications.- An Experimental Comparison of Three Rough Set Approaches to Missing Attribute...

Architecture.- New Algorithms for SIMD Alignment.- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors.- An Array Allocation Scheme for Energy Reduction ...

The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and W...

The ARCS series of conferences has over 30 years of tradition reporting hi- quality results in computer architecture and operating systems research. While the conference is proud of its long tradit...