Search
Now showing items 1-10 of 34
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
(Springer-Verlag Berlin Heidelberg, 2005)
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The ...
Artificial Intelligence
(Lucent Books, 2005)
For the past fifty years researchers have been striving to create machines that rival the thinking capacity of humans. In Artificial Intelligence learn how AI experts simulate the human brain and construct smart robots. ...
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
(Springer, 2005)
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems contains over 30 contributions from leading European researchers showing the present state and future directions of computer science ...
Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
(IOS Press, 2005)
The field of Artificial Intelligence in Education has continued to broaden and now includes research and researchers from many areas of technology and social science. This study opens opportunities for the cross-fertilization ...
The Dissimilarity Representation for Pattern Recognition: Foundations and Applications
(World Scientific Publishing Company, 2005)
This book provides a fundamentally new approach to pattern recognition in which objects are characterized by relations to other objects instead of by using features or models. This 'dissimilarity representation' bridges ...
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
(Springer-Verlag Berlin Heidelberg, 2005)
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised ...
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
(Springer-Verlag Berlin Heidelberg, 2005)
This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice ...
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
(Springer-Verlag Berlin Heidelberg, 2005)
These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6–8, 2005. The ECSQARU conferences are biennial ...
Agents and Peer-to-Peer Computing: Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers
(Springer-Verlag Berlin Heidelberg, 2005)
Peer-to-peer (P2P) computing is attracting enormous media attention, spurred by the popularity of file sharing systems such as Napster, Gnutella, and Morpheus. The peers are autonomous, or as some call them, first-class ...
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
(Springer-Verlag Berlin Heidelberg, 2005)
The two-volume set LNCS 3561 and LNCS 3562 constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, held in Las Palmas, Canary ...