This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue reading
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Continue reading
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Continue reading
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Continue reading
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Continue readingExplores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...
Continue reading
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...
Continue reading
This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...
Continue reading
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
Continue reading
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, ...
Continue reading
This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Continue reading
This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Continue reading
This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...
Continue reading
Human Language Technology (HLT) and Natural Language Processing (NLP) systems have typically focused on the “factual” ...
Continue reading
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Continue reading
This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Continue reading
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
Continue reading
This book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the ...
Continue reading
th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
Continue reading