Search
Now showing items 1-10 of 12
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999.The volume presents 18 revised full ...
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July ...
Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems
(Springer-Verlag Berlin Heidelberg, 2000)
The Internet is spawning many new markets and electronic commerce is changing many market conventions. Not only are old commercial practices being adapted to the new conditions of immediacy brought forth by the global ...
Knowledge Discovery and Data Mining. Current Issues and New Applications: 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18–20, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
The Fourth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2000) was held at the Keihanna-Plaza, Kyoto, Japan, April 18 - 20, 2000. PAKDD 2000 provided an international forum for researchers and ...
Large-Scale Parallel Data Mining
(Springer-Verlag Berlin Heidelberg, 2000)
With the unprecedented growth-rate at which data is being collected and stored electronically today in almost all fields of human endeavor, the efficient extraction of useful information from the data available is becoming ...
Learning Classifier Systems: From Foundations to Applications
(Springer-Verlag Berlin Heidelberg, 2000)
Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown ...
RoboCup-97: Robot Soccer World Cup I
(Springer-Verlag Berlin Heidelberg, 2000)
RoboCup is an international initiative devoted to advancing the state of the art in artificial intelligence and robotics. The ultimate, long range goal is to build a team of robot soccer players that can beat a human World ...
Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT’98), held at the European education centre Europ¨aisches Bildungszentrum (ebz) Otzenhausen, Germany, ...
Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This book constitutes the refereed proceedings of the 11th International Conference on Algorithmic Learning Theory, ALT 2000, held in Sydney, Australia in December 2000. The 22 revised full papers presented together with ...
Intelligent Systems and Soft Computing: Prospects, Tools and Applications
(Springer-Verlag Berlin Heidelberg, 2000)
Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully ...