The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
اقرأ المزيد
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...
اقرأ المزيد
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
اقرأ المزيد
This book shows you how to ensure process reliability on the basis of combining the right components with advanced application ...
اقرأ المزيد
Handbook of Biomedical Image Analysis: Segmentation Models (Volume II) is dedicated to the segmentation of complex shapes ...
اقرأ المزيدPresents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations ...
اقرأ المزيد
The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, ...
اقرأ المزيد
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
اقرأ المزيد
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
اقرأ المزيد
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance ...
اقرأ المزيد
In High-Level Modeling and Synthesis of Analog Integrated Systems, two novel generic behavioral models are described. The ...
اقرأ المزيد
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...
اقرأ المزيد
This collection examines how higher education responds to the demands of the automation economy and the fourth industrial ...
اقرأ المزيد
The research of holonic and agent-based systems is developing rapidly, as is the community around this R&D topic. Despite ...
اقرأ المزيد
The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly ...
اقرأ المزيدAt a high level, this project involves building and configuring a hosting server to provide website, email, and FTP hosting ...
اقرأ المزيد
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
اقرأ المزيد