Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Maarten De Rijke
Biography of Maarten De Rijke, currently Director at Amsterdam Data Science, previously Full professor, Information Processing and Internet at University of Amsterdam and Full professor, Information Processing and Internet at University of Amsterdam.
Modal Logic
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.
Expertise Retrieval
People have looked for experts since before the advent of computers. With advances in information retrieval technology, coupled with the large-scale availability of traces of knowledge-related activities, computer systems that can fully automate the process of locating expertise have become a reality. The past decade has witnessed tremendous interest and a wealth of results in expertise retrieval as an emerging subdiscipline in information retrieval. This survey highlights advances in models and algorithms relevant to this field. We draw connections among methods proposed in the literature and summarize them in five groups of basic approaches. These serve as the building blocks for more advanced models that arise when we consider a range of content-based factors that may impact the strength of association between a topic and a person. We also discuss practical aspects of building an expert search system and present applications of the technology in other domains such as blog distillation and entity retrieval. The limitations of current approaches are also pointed out. We end our survey with a set of conjectures on what the future may hold for expertise retrieval research.
Engineering Trustworthy Software Systems
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
From People to Entities: New Semantic Search Paradigms for the Web
The exponential growth of digital information available in companies and on the Web creates the need for search tools that can respond to the most sophisticated information needs. Many user tasks would be simplified if Search Engines would support typed search, and return entities instead of just Web documents. For example, an executive who tries to solve a problem needs to find people in the company who are knowledgeable about a certain topic._x000D_ In the first part of the book, we propose a model for expert finding based on the well-consolidated vector space model for Information Retrieval and investigate its effectiveness. In the second part of the book, we investigate different methods...
Multilingual Information Access for Text, Speech and Images
This book constitutes the thoroughly refereed postproceedings of the 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, held in Bath, UK in September 2004. The 80 revised papers presented together with an introduction were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on ad hoc text retrieval tracks (mainly cross-language experiments and monolingual experiments), domain-specific document retrieval, interactive cross-language information retrieval, multiple language question answering, cross-language retrieval in image collections, cross-language spoken document retrieval, and on issues in CLIR and in evaluation.
Modal Logic and Process Algebra
A collection of papers by leading researchers in modal logic and theoretical computer science.
Accessing Multilingual Information Repositories
This book constitutes the thoroughly refereed postproceedings of the 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. The book presents 111 revised papers together with an introduction. Topical sections include multilingual textual document retrieval, cross-language and more, monolingual experiments, domain-specific information retrieval, interactive cross-language information retrieval, multiple language question answering, cross-language retrieval in image collections, cross-language speech retrieval, multilingual Web track, cross-language geographical retrieval, and evaluation issues.
New Waves in Philosophical Logic
Philosophical logic has been, and continues to be, a driving force behind much progress and development in philosophy more broadly. This collection by up-and-coming philosophical logicians deals with a broad range of topics, including, for example, proof-theory, probability, context-sensitivity, dialetheism and dynamic semantics.
