The 2004 IFIP International Conference on Intelligence in Communication S- tems(INTELLCOMM2004),heldinBangkok,Thailand,23-26November2004, was the successor and an expansion of SMARTNET, a series of annual conf- ences on intelligence in networks held during 1995-2003 under the auspices of IFIP TC6's Working Group 6.
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA.
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.
Machine Learning has become a key enabling technology for many engineering applications, investigating scientific questions and theoretical problems alike.
The fourth internationalworkshop,"e;EngineeringSocietiesin the Agents World"e; (ESAW 2003) was a three-dayevent that took place at the end of October 2003.
This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004.
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5-8, 2004.
The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.
Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously.
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.
Technology is taking us to a world where myriads of heavily networked devices interact with the physical world in multiple ways, and at many levels, from the globalInternetdowntomicroandnanodevices.
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, October 8{ 10, 1998.
TheexplosivegrowthoftheInternetandtheWebhavecreatedanever-growing demand for information systems, and ever-growing challenges for Information Systems Engineering.
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems.
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms.
Knowledge discovery and data mining have become areas of growing significance because of the recent increasing demand for KDD techniques, including those used in machine learning, databases, statistics, knowledge acquisition, data visualization, and high performance computing.
Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects of cluster computing, the initiative of a workshop on cluster computing received more attention after IFIP WG 10.
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000.
The annual colloquium on information retrieval research provides an opportunity for both new and established researchers to present papers describing work in progress or ?
We are proud to introduce the proceedings of the Sixth International Conference on Parallel Problem Solving from Nature, PPSN VI, held in Paris, Prance, on 18-20 September 2000.