Informatik (15.755 Artikel)

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 - 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 diff...

This volume contains the proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), which is an annual event that, for the ?rst time, was hosted in the UK. Conceptual st...

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented...

Invited Papers.- The Maturing Semantic Web: Lessons in Web-Scale Knowledge Representation.- Concept Formation in Linguistic Ontologies.- Conceptual Graph Rules and Equivalent Rules: A Synthesis.- T...

Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one ...

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very w...

This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998.The 20 revised full papers and 10 r...

Tutorials on Theory and Problems

This book will help future scientists to become more intelligent users of computing technology in their practice of science. The content is suitable for introductory courses on the foundations of c...

This book will help future scientists to become more intelligent users of computing technology in their practice of science. The content is suitable for introductory courses on the foundations of c...

Modern businesses depend on data for their very survival, creating a need for sophisticated databases and database technologies to help store, organise and transport their valuable data.This update...

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of comp...

The Foundations and Spirit of Scientific Computing

Topics and features: presents an overview of programming and coding, a brief history of programming languages, and a concise introduction to programming in Java using BlueJ; discusses classes and o...

Algorithms, Exercises, and Implementations