Information retrieval, IR, the science of extracting information from any potential source, can b...

These proceedings contain the papers presented at ECIR 2010, the 32nd Eu- pean Conference on Info...

This book constitutes the refereed proceedings of the Third International Symposium on Quantum In...

Information retrieval (IR) is becoming an increasingly important area as scientific, business and...

In recent years, there have been several attempts to define alogic for information retrieval (I...

The annual colloquium on information retrieval research provides an opportunity for both new and ...

This book is an extended collection of revised contributions that were initially submitted to the...

This timely book explores pertinent questions around the legitimacy and effectiveness of EU agenc...

This book constitutes the refereed proceedings of the Third International Symposium on Quantum In...

The authors describe here a framework in which the type notation of functional languages is exten...

Type theory is one of the most important tools in the design of higher-level programming language...

This an introduction to the theory of computational learning.