Please enter a valid search term.
Currently Displaying Results
261751-261775 of 1543505
View book details for Controlled Natural Language
4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
This book constitutes the refereed proceedings of the 4th International Workshop on Controlled Natural Language, CNL 2014, held in Galway, Ireland, in August 2014. The 17 full papers and one invited paper presented were carefully reviewed and selected from 26 …
View book details for Logical Aspects of Computational Linguistics
8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the …
View book details for Symbolic and Quantiative Approaches to Resoning with Uncertainty
12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings
This book constitutes the refereed proceedings of the 12th EuropeanConference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013, held in Utrecht, The Netherlands, in July 2013. The 44 revised full papers presented were carefully reviewed andselected from …
View book details for Formal Methods and Software Engineering
15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and …
View book details for Detection of Intrusions and Malware, and Vulnerability Assessment
9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers
This book constitutes the refereed post-proceedings of the 9th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2012, held in Heraklion, Crete, Greece, in July 2012. The 10 revised full papers presented together with 4 short …
View book details for DNA Computing and Molecular Programming
20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto, Japan, in September 2014. The 10 full papers presented were carefully selected from 55 submissions. The papers are …
View book details for Security Engineering and Intelligence Informatics
CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013, Proceedings
This volume constitutes the refereed proceedings of two workshops: the Second International Workshop on Modern Cryptography and Security Engineering (MoCrySEn 2013) and the Third International Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD 2013) held within the framework …
Integrated circuit (IC) reliability is of increasing concern in present-day IC technology where the interconnect failures significantly increases the failure rate for ICs with decreasing interconnect dimension and increasing number of interconnect levels. Electromigration (EM) of interconnects has now become …
View book details for Pattern Recognition and Computer Vision
4th Chinese Conference, PRCV 2021, Beijing, China, October 29 November 1, 2021, Proceedings, Part II
The 4-volume set LNCS 13019, 13020, 13021 and 13022 constitutes the refereed proceedings of the 4th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2021, held in Beijing, China, in October-November 2021. The 201 full papers presented were carefully …
View book details for Programming Logics
Essays in Memory of Harald Ganzinger
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete …
View book details for Advances in Biomedical Infrastructure 2013
Proceedings of International Symposium on Biomedical Data Infrastructure (BDI 2013)
Current Biomedical Databases are independently administered in geographically distinct locations, lending them almost ideally to adoption of intelligent data management approaches. This book focuses on research issues, problems and opportunities in Biomedical Data Infrastructure identifying new issues and directions for …
View book details for Partially Supervised Learning
Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers
This book constitutes the thoroughly refereed revised selected papers from the Second IAPR International Workshop, PSL 2013, held in Nanjing, China, in May 2013. The 10 papers included in this volume were carefully reviewed and selected from 26 submissions. Partially …
This book presents a concise, yet thorough, reference for all heat transfer coefficient correlations and data for all types of cylinders: vertical, horizontal, and inclined. This book covers all natural convection heat transfer laws for vertical and inclined cylinders and …
View book details for Security, Privacy, and Applied Cryptography Engineering
Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013, Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Security, Privacy and Applied Cryptography Engineering held in Kharagpur, India, in October 2013. The 12 papers presented were carefully reviewed and selected from 39 submissions. The papers are …
View book details for Information Processing in Computer-Assisted Interventions
5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Information Processing in Computer-Assisted Interventions, IPCAI 2014, held in Fukuoka, Japan, on June 28, 2014. The 28 papers presented were carefully reviewed and selected from 58 submissions. The …
View book details for Mathematics and Computation in Music
4th International Conference, MCM 2013, Montreal, Canada, June 12-14, 2013, Proceedings
This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Mathematics and Computation in Music, MCM 2013, held in Montreal, Canada, in June 2013. The 18 papers presented were carefully reviewed and selected from numerous submissions. They …
View book details for Foundations of Information and Knowledge Systems
8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised full papers presented together with 5 revised short papers and two …
View book details for Pattern Recognition and Computer Vision
4th Chinese Conference, PRCV 2021, Beijing, China, October 29 November 1, 2021, Proceedings, Part III
The 4-volume set LNCS 13019, 13020, 13021 and 13022 constitutes the refereed proceedings of the 4th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2021, held in Beijing, China, in October-November 2021. The 201 full papers presented were carefully …
View book details for Visualizing the Data City
Social Media as a Source of Knowledge for Urban Planning and Management
This book investigates novel methods and technologies for the collection, analysis and representation of real-time user-generated data at the urban scale in order to explore potential scenarios for more participatory design, planning and management processes. For this purpose, the authors …
View book details for The Semantic Web - ISWC 2013
12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II
The two-volume set LNCS 8218 and 8219 constitutes the refereed proceedings of the 12th International Semantic Web Conference, ISWC 2013, held in Sydney, Australia, in October 2013. The International Semantic Web Conference is the premier forum for Semantic Web research, …
View book details for Foundations of Intelligent Systems
21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers …
View book details for Structural Information and Communication Complexity
20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2013, held in Ischia, Italy, in July 2013. The 28 revised full papers presented were carefully reviewed and selected from …
View book details for Nonlinear Hamiltonian Mechanics Applied to Molecular Dynamics
Theory and Computational Methods for Understanding Molecular Spectroscopy and Chemical Reactions
This brief presents numerical methods for describing and calculating invariant phase space structures, as well as solving the classical and quantum equations of motion for polyatomic molecules. Examples covered include simple model systems to realistic cases of molecules spectroscopically studied.Vibrationally …
View book details for Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and …
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical …
Currently Displaying Results
261751-261775 of 1543505