Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
اقرأ المزيد
Intelligent Data Engineering and Automated Learning - IDEAL 2006
This volume of Lecture Notes in Computer Science contains accepted - pers presented at IDEAL 2006 held at the University ...
اقرأ المزيد
Intelligent Information Processing III
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Intelligent interactive multimedia systems for e-Healthcare applications / Authors:Amit Kumar Tyagi, Ajith Abraham, A. Kaklauskas
includes high-quality research on various aspects of intelligent interactive multimedia technologies in healthcare services. ...
اقرأ المزيد
Interactive TV: a Shared Experience
This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held ...
اقرأ المزيد
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
اقرأ المزيد
Logic for Programming, Aritficial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logical Aspects of Computational Linguistics
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
اقرأ المزيد
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
Ontologies for Agents: Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيد
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
اقرأ المزيد
