The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with “Logic at Botik,” Pereslavl-Zalessky, 1989, which was...

The ranker, a central component in every search engine, is responsible for the...

Adaptive Hypermedia has emerged as an important area of both academic and deployed research. It encompasses a broad range of research that will enable personalized, adaptive hypermedia systems to play an even more effective role in people’s lives. The Web has enabled the widespread use of many personalized systems, such as recommenders,...

After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safetycritical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers presented as chapters of a coherent, monograph-like book. The papers focus equally on the...

The 57 revised full papers presented were carefully selected and reviewed for inclusion in the volume; also included are 14 invited presentations. All in...

This book exclusively surveys the active on-going research of the current maturity of fuzzy logic over the last four decades. Many world leaders of fuzzy logic have enthusiastically contributed their best research results into five theoretical, philosophical and fundamental sub areas and nine distinctive applications, including two PhD...

In this book the consequent use of probability theory is proposed for handling uncertainty in expert systems. It is shown that methods violating this suggestion may have dangerous consequences (e.g., the Dempster-Shafer rule and the method used in MYCIN). The necessity of some requirements for a correct combining of uncertain information in...

The 2004 IFIP International Conference on Intelligence in Communication Systems (INTELLCOMM 2004), held in Bangkok, Thailand, 23–26 November 2004, was the successor and an expansion of SMARTNET, a series of annual conferences on intelligence in networks held during 1995–2003 under the auspices of IFIP TC6’s Working Group...

Genetic algorithms are founded upon the principle of evolution, i.e., survival of the fittest. Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, such as optimization of functions with linear and nonlinear constraints, the traveling salesman problem, and problems of...

This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in Amsterdam, The Netherlands, on September 2 and 3, 2004. Initially, the workshop was referred to as the International Workshop on Code Generation for Embedded Systems. The first took place in 1994 in...

The 6th International Conference on Data...