th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3-5, 2001, at the Technical University of Munich, Germany.
Cognitive Technology: Instruments of Mind Cognitive Technology is the study of the impact of technology on human cog- tion, the externalization of technology from the human mind, and the pragmatics of tools.
This volume is the proceedings of the 13th International Conference on Theo- rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc.
We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand.
This book originates from the IJCAI 2003 International Workshop on Multi-Agents for Mass User Support, MAMUS 2003, held in Acapulco, Mexico in August 2003.
Algebraic projective geometry, with its multilinear relations and its embedding into Grassmann-Cayley algebra, has become the basic representation of multiple view geometry, resulting in deep insights into the algebraic structure of geometric relations, as well as in efficient and versatile algorithms for computer vision and image analysis.
This Festschrift volume is published in honor of Gunter Haring on the occasion of his emerital celebration and contains invited papers by key researchers in the field of performance evaluation presented at the workshop Performance Evaluation of Computer and Communication Systems - Milestones and Future Challenges, PERFORM 2010, held in Vienna, Austria, in October 2010.
Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications.
This book contains the written contributions to the program of the First In- ternational Conference on Computer Vision, Virtual Reality, and Robotics in Medicine (CVRMed'95) held in Nice during the period April 3-6, 1995.
The biennial International Conference on Case-Based Reasoning (ICCBR) - ries, which began in Sesimbra, Portugal, in 1995, was intended to provide an international forum for the best fundamental and applied research in case-based reasoning (CBR).
The first international workshop on Intelligent Agents for Telecommunications Applications (IATA'96) was held in July 1996 in Budapest during the XII European Conference on Artificial Intelligence ECAI'96.
WorkshopTheme The ease and speed with which business transactions can be carried out over the Web has been a key driving force in the rapid growth of electronic commerce.
TheInternationalConferenceonMachineLearningandDataMining(MLDM)is the third meeting in a series of biennial events, which started in 1999, organized by the Institute of Computer Vision and Applied Computer Sciences (IBaI) in Leipzig.
These are the proceedings of the 7th International Workshop on Cooperative Information Agents (CIA 2003), held at the Sonera Conference Center in H- sinki, Finland, August 27-29, 2003.