Filter by
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Information Reuse and Integration
Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31311-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Applications of Evolutionary Computation in Image Processing and Pattern Reco…
This book presents the use of efficient Evolutionary Computation (EC) algorithms for solving diverse real-world image processing and pattern recognition problems. It provides an overview of the different aspects of evolutionary methods in order to enable the reader in reaching a global understanding of the field and, in conducting studies on specific evolutionary techniques that are related to …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-26462-2
- Collation
- XV, 274
- Series Title
- Intelligent Systems Reference Library
- Call Number
- 006.3 CUE a
Applications of Evolutionary Computation: 18th European Conference, EvoApplic…
This book constitutes the refereed conference proceedings of the 18th International Conference on the Applications of Evolutionary Computation, EvoApplications 2015, held in Copenhagen, Spain, in April 2015, colocated with the Evo 2015 events EuroGP, EvoCOP, and EvoMUSART. The 72 revised full papers presented were carefully reviewed and selected from 125 submissions. EvoApplications 2015 consis…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16549-3
- Collation
- XXVII, 913
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 APP a
Applications of Computational Intelligence in Biomedical Technology
This book presents latest results and selected applications of Computational Intelligence in Biomedical Technologies. Most of contributions deal with problems of Biomedical and Medical Informatics, ranging from theoretical considerations to practical applications. Various aspects of development methods and algorithms in Biomedical and Medical Informatics as well as Algorithms for medical image …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-19147-8
- Collation
- VIII, 251
- Series Title
- Studies in Computational Intelligence
- Call Number
- 006.3 APP a
Operators for Similarity Search
This book provides a comprehensive tutorial on similarity operators. The authors systematically survey the set of similarity operators, primarily focusing on their semantics, while also touching upon mechanisms for processing them effectively. The book starts off by providing introductory material on similarity search systems, highlighting the central role of similarity operators in such sys…
- Edition
- 1
- ISBN/ISSN
- 2191-5768
- Collation
- XI, 115
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- -
The Semantic Web: ESWC 2015 Satellite Events ESWC 2015 Satellite Events, Por…
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 12th European Conference on the Semantic Web, ESWC 2015, held in Portorǒz, Slovenia, in May/June 2015. The volume contains 12 poster and 22 demonstration papers, selected from 50 submissions, as well as 22 best workshop papers selected from 140 papers presented at the 16 workshops that took…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25639-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web. Latest Advances and New Domains 12th European Semantic Web…
This book constitutes the refereed proceedings of the 12th Extended Semantic Web Conference, ESWC 2014, held in Anissaras, Portoroz, Slovenia, in May/June 2015. The 43 revised full papers presented together with three invited talks were carefully reviewed and selected from 164 submissions. This program was completed by a demonstration and poster session, in which researchers had the chance to p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18818-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bet…
The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discus…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25010-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography