This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
WeiterlesenThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...
WeiterlesenThe two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
WeiterlesenThe two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, ...
WeiterlesenThis book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
WeiterlesenThis book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...
WeiterlesenHuman Language Technology (HLT) and Natural Language Processing (NLP) systems have typically focused on the “factual” ...
WeiterlesenThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
WeiterlesenThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
WeiterlesenThis book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
WeiterlesenThis book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the ...
Weiterlesenth The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
WeiterlesenThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
WeiterlesenThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
WeiterlesenConstraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Weiterlesen