Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Continue readingThis book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...
Continue readingThis volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent ...
Continue readingThis book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
Continue readingThis book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
Continue readingThese volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, ...
Continue readingThe These proceedings contain the refereed papers and posters presented at the 28 Annual European Conference on Information ...
Continue readingThis book constitutes the refereed proceedings of the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining, ...
Continue readingThe purpose of this third edition of the International Conference on Mass Data Analysis of Signals and Images in Medicine, ...
Continue readingThis book constitutes the refereed proceedings of the 9th Pacific Rim Conference on Multimedia, PCM 2008, held in Tainan, ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL ...
Continue readingThis book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...
Continue readingThis book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...
Continue readingThe visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...
Continue readingThe visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...
Continue readingThis textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
Continue readingThis book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Continue readingThis book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Continue reading