25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Advanced Computational Intelligence Paradigms in Healthcare
This book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...
Lee mas
Advanced Concepts for Intelligent Vision Systems
This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
Lee mas
Advanced Concepts for Intelligent Vision Systems : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent ...
Lee mas
Advances in Information Retrieval
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
Lee mas
Advances in Information Retrieval
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
Lee mas
Advances in Information Retrieval (vol. # 3408)
These volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, ...
Lee mas
Advances in Information Retrieval (vol. # 3936)
The These proceedings contain the refereed papers and posters presented at the 28 Annual European Conference on Information ...
Lee mas
Advances in Knowledge Discovery and Data Mining (vol. # 3518)
This book constitutes the refereed proceedings of the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining, ...
Lee mas
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry : Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings
The purpose of this third edition of the International Conference on Mass Data Analysis of Signals and Images in Medicine, ...
Lee mas
Advances in Multimedia Information Processing - PCM 2008 : 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th Pacific Rim Conference on Multimedia, PCM 2008, held in Tainan, ...
Lee mas
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL ...
Lee mas
Advances in Nonlinear Speech Processing
This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...
Lee mas
Advances in Nonlinear Speech Processing
This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...
Lee mas
Advances in Visual Information Systems
The visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...
Lee mas
Advances in Visual Information Systems
The visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...
Lee mas
Agile Software Engineering
This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
Lee mas
Anaphora: Analysis, Algorithms and Applications
This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Lee mas
Anaphora: Analysis, Algorithms and Applications
This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Lee mas
