The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial ...
اقرأ المزيد
The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central ...
اقرأ المزيد
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September ...
اقرأ المزيد
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September ...
اقرأ المزيد
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial ...
اقرأ المزيد
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...
اقرأ المزيد
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...
اقرأ المزيد
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
اقرأ المزيد
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...
اقرأ المزيد
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيد
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
اقرأ المزيد
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
اقرأ المزيد
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
اقرأ المزيد
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيد
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ...
اقرأ المزيد
Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from ...
اقرأ المزيد
C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
اقرأ المزيد