Electronic Books

Total Books: 161 - 180 /189

This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...

Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...

This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...

Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...

The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

This book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...

Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Total Books: 161 - 180 /189