Learn IT - Amazing Books

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

IOS Press, 2006

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding,...

Electromagnetic Fields in Mechatronics, Electrical And Electronic Engineering: Proceedings of Isef'05

IOS Press, 2006

This book contains the papers presented at the International Symposium on Electromagnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF’05 which was held in Baiona, Spain on September 15–17, 2005. ISEF conferences have been organized since 1985 as a common initiative of Polish and European...

Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer, Volume 139 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

This festschrift celebrates the life of a remarkable man.

Rob Milne died while climbing Mount Everest early on 5th June 2005 Nepal Time. He was 48. He is survived by his wife Val and his two children Alex and Rosemary. His untimely death was a tragedy, but Rob packed 96 years of living into his 48 years of life. In any one of his three...

Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering

IOS Press, 2006

This article proposes an automatic generation method of relation matrix for Interpretive Structural Modelling (ISM), which is a popular tool widely used for visualising problem structure, problem structure analysis, and decision making. In ISM, problems are divided into sub problems. Then hierarchy relations are introduced into the set of sub...

ECAI 2006, 17th European Conference on Artificial Intelligence: Volume 141 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

In the summer of 1956, John McCarthy organized the famous Dartmouth Conference which is now commonly viewed as the founding event for the field of Artificial Intelligence. During the last 50 years, AI has seen a tremendous development and is now a well-established scientific discipline all over the world. Also in Europe AI is in excellent shape, as...

STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium, Volume 142 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

The field of Artificial Cognition has arisen recently with the intention of developing agents capable to perceive, explore, learn and perform reasoning about the external world. A number of machine learning approaches have been adopted in order to make agent behaviour cognitive. However, most existing systems rely on an external expert guiding the...

Computational Models of Argument: Volume 144 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

The papers in this volume formed the programme of the 1st International Conference on Computational Models of Argument (COMMA), which was hosted by the Dept. of Computer Science of The University of Liverpool from Sept. 11th–12th, 2006. This conference originated from the ASPIC project1 from which significant support has been received. The...

Multi-Relational Data Mining: Volume 145 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

This thesis is concerned with Data Mining: extracting useful insights from large and detailed collections of data. With the increased possibilities in modern society for companies and institutions to gather data cheaply and efficiently, this subject has become of increasing importance. This interest has inspired a rapidly maturing research field...

New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, Volume 147 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible, and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short behind our expectations. Current software methodologies, tools, and techniques remain...

An Inductive Logic Programming Approach to Statistical Relational Learning

IOS Press, 2006

In this publication, the author Kristian Kersting has made an assault on one of the hardest integration problems at the heart of Artificial Intelligence research. This involves taking three disparate major areas of research and attempting a fusion among them. The three areas are: Logic Programming, Uncertainty Reasoning and Machine Learning. Every...

Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), Volume 150

IOS Press, 2006

Since ancient times, ontology, the analysis and categorisation of what exists, has been fundamental to philosophical enquiry. But, until recently, ontology has been seen as an abstract, purely theoretical discipline, far removed from the practical applications of science. However, with the increasing use of sophisticated computerised information...

Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference - Volume 152 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

This volume contains the Proceedings of the Nineteenth JURIX Conference on Legal Knowledge and Information Systems (JURIX 2006), December 7th–9th, Université Pantheon Assas – Paris II, France. This year we hoped to put two new topics on the agenda: Artificial Intelligence in police and intelligence services and the impact of AI...

Result Page: Previous 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 Next