This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information ...
اقرأ المزيدThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
اقرأ المزيدThe objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...
اقرأ المزيدThis book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
اقرأ المزيدThis book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese ...
اقرأ المزيدThe technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
اقرأ المزيدThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
اقرأ المزيدThe combination of theoretically sound results and practically tested procedures and solution paths makes this book an ideal ...
اقرأ المزيدsuch as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. ...
اقرأ المزيدConstitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as ...
اقرأ المزيدThis book constitutes the joint refereed proceedings of nine international workshops held as part of OTM 2005 in Agia Napa, ...
اقرأ المزيدThis two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM ...
اقرأ المزيدConstitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...
اقرأ المزيدThis two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences ...
اقرأ المزيدit is clear that there is an acute and increasing need to address and discuss in an integrated forum the implied software ...
اقرأ المزيدThis two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
اقرأ المزيدThis two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
اقرأ المزيدOn the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent ...
اقرأ المزيدThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيد