WorldCat Identities

Van Rijsbergen, C. J. 1943-

Overview
Works: 144 works in 352 publications in 4 languages and 4,307 library holdings
Genres: Conference papers and proceedings  Instructional and educational works  Periodicals  Academic theses  History 
Roles: Author, Editor, htt, Other, Contributor
Classifications: Z699, 025.04
Publication Timeline
.
Most widely held works by C. J Van Rijsbergen
The geometry of information retrieval by C. J Van Rijsbergen( )

27 editions published between 2004 and 2007 in English and held by 1,032 WorldCat member libraries worldwide

"Information retrieval, IR, is the science of extracting information from documents. It can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author shows how these three views can be combined in one mathematical framework, the very one used to formulate the general principles of quantum mechanics. Using this framework, van Rijsbergen presents a new theory for the foundations of IR, in particular a new theory of measurement. He shows how a document can be represented as a vector of Hilbert space, and the document's relevance by an Hermitian operator. All the usual quantum-mechanical notions, such as uncertainty, superposition and observable, have their IR-theoretic analogues. But the approach is more than just analogy: the standard theorems can be applied to address problems in IR, such as pseudo-relevance feedback, relevance feedback and ostensive retrieval. The relation with quantum computing is also examined. To help keep the book self-contained, appendices with background material on physics and mathematics are included, and each chapter ends with some suggestions for further reading. This is an important book for all those working in IR, AI and natural language processing."--Jacket
Information retrieval by C. J Van Rijsbergen( Book )

50 editions published between 1975 and 1995 in 5 languages and held by 670 WorldCat member libraries worldwide

Automatic text analysis; Automatic classification; File structures; Search strategies; Evaluation; The future
Research and development in information retrieval : proceedings of the third joint BCS and ACM symposium, King's College, Cambridge, 2-6 July 1984 by C. J Van Rijsbergen( )

24 editions published between 1984 and 1987 in English and held by 486 WorldCat member libraries worldwide

Advances in information retrieval : 24th BCS-IRSG European Colloquium on IR Research, Glasgow, UK, March 25-27, 2002 : proceedings by Fabio Crestani( )

19 editions published in 2002 in English and held by 403 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 24th European Colloquium on Information Retrieval Research, ECIR 2002, held in Glasgow, UK, in March 2002. The 23 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. The papers are organized in topical sections on multimedia, Web-information retrieval, query modification, soft computing, models, categorization, structured documents, cross-language issues, and interactive systems
Information retrieval : uncertainty and logics : advanced models for the representation and retrieval of information by Fabio Crestani( Book )

10 editions published in 1998 in English and held by 188 WorldCat member libraries worldwide

The basis of a logical model for IR is the assumption that queries and documents can be represented effectively by logical formulae. Some logical models are able to represent within a uniform framework various features of IR systems such as hypermedia links, multimedia data, and user's knowledge. It also provides a common approach to the integration of IR systems with logical database systems. In 1986, Cornelis Joost van Rijsbergen proposed the uncertainty logical principle to model relevance as an uncertain inference process, but was not specific about which logic and which uncertainty theory to use. Various logics and uncertainty theories have been proposed and investigated. This collection of papers are proposing, developing, and implementing logical IR models
SIGIR '94 : proceedings of the seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University by W. Bruce Croft( )

5 editions published in 1994 in English and held by 78 WorldCat member libraries worldwide

Information retrieval (IR) is becoming an increasingly important area as scientific, business and government organisations take up the notion of "information superhighways" and make available their full text databases for searching. Containing a selection of 35 papers taken from the 17th Annual SIGIR Conference held in Dublin, Ireland in July 1994, the book addresses basic research and provides an evaluation of information retrieval techniques in applications. Topics covered include text categorisation, indexing, user modelling, IR theory and logic, natural language processing, statistical and probabilistic models of information retrieval systems, routing, passage retrieval, and implementation issues
Quantum interaction : third international symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009 : proceedings by David Hutchison( )

13 editions published in 2009 in English and Undetermined and held by 73 WorldCat member libraries worldwide

Annotation
Adaptive multimedia retrieval : user, context, and feedback : third international workshop, AMR 2005, Glasgow, UK, July 28-29, 2005 : revised selected papers by Marcin Detyniecki( )

9 editions published in 2006 in English and held by 69 WorldCat member libraries worldwide

This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research festival and in co-location with the 19th International Joint Conference on Arti?cial Int- ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004). Theworkshopfocussedespeciallyonintelligentmethodstoanalyzeandstr- ture multimedia collections, with particular attention on methods that are able to support the user in the search process, e. g. , by providing additional user-and context-adapted information about the search results as well as the data coll- tion itself and especially by adapting the retrieval tool to the user's needs and interests. The invited contributions presented in the ?rst section of this book-- "Putting the User in the Loop: Visual Resource Discovery" from Stefan Rug ¨ er, "Using Relevance Feedback to Bridge the Semantic Gap" from Ebroul Izquierdo and Divna Djordjevic, and "Leveraging Context for Adaptive Multimedia - trieval: A Matter of Control" from Gary Marchionini--illustrate these core t- ics: user,contextandfeedback. Theseaspectsarediscussedfromdi?erent points ofviewinthe18contributionsthatareclassi?edintosixmainchapters,following rather closely the workshop's sessions: ranking, systems, spatio-temporal re- tions, using feedback, using context and meta-data
SIGIR '94 : proceedings of the seventeenth annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University : 3-6 July 1994, Dublin, Ireland by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval( Book )

2 editions published in 1994 in No Linguistic content and English and held by 67 WorldCat member libraries worldwide

SIGIR '94 : proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organized by Dublin City University : held in cooperation with the ACM-SIGIR ... : 3-6 July 1994, Dublin, Ireland by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval( Book )

3 editions published in 1994 in English and held by 63 WorldCat member libraries worldwide

Information technology, research and development( )

in English and held by 62 WorldCat member libraries worldwide

Proceedings of the Tenth Annual International ACMSIGIR Conference on Research & Development in Information Retrieval : New Orleans, Louisiana, USA, June 3-5, 1987 by C. T Yu( Book )

6 editions published in 1987 in English and held by 57 WorldCat member libraries worldwide

SIGIR '89 : proceedings of the Twelfth Annual International ACMSIGIR Conference on Research and Development in Information Retrieval : Cambridge, Massachusetts, June 25-28, 1989 by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval( Book )

4 editions published in 1989 in English and held by 52 WorldCat member libraries worldwide

Proceedings of the 3rd annual ACM conference on Research and development in information retrieval by C. J Van Rijsbergen( )

2 editions published in 1981 in English and held by 35 WorldCat member libraries worldwide

New models in probabilistic information retrieval by C. J Van Rijsbergen( Book )

14 editions published between 1980 and 1981 in English and held by 34 WorldCat member libraries worldwide

Advances in Information Retrieval : 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings by Fabio Crestani( )

1 edition published in 2002 in English and held by 33 WorldCat member libraries worldwide

Proceedings of the Twelfth Annual International ACMSIGIR Conference on Research & Development in Information Retrieval by 1989, Cambridge, Mass.) International Conference on Research and Development in Information Retrieval (12( Book )

1 edition published in 1989 in English and held by 29 WorldCat member libraries worldwide

A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia by Jacques Fleuriot( )

1 edition published in 2001 in English and held by 19 WorldCat member libraries worldwide

Abstract: "Sir Isaac Newton's Philosophiæ Naturalis Principia Mathematica (the Principia) was first published in 1687 and set much of the foundations that led to profound changes in modern science. Despite the influence of the work, the elegance of the geometrical techniques used by Newton is little known since the demonstrations of most of the theorems set out in it are usually done using calculus. Newton's reasoning also goes beyond the traditional boundaries of Euclidean geometry with the presence of both motion and infinitesimals. This thesis describes the mechanization of Lemmas and Propositions from the Principia using formal tools developed in the generic theorem prover Isabelle. We discuss the formalization of a geometry theory based on existing methods from automated geometry theorem proving. The theory contains extra geometric notions, including definitions of the ellipse and its tangent, that enable us to deal with the motion of bodies and other physical aspects. We introduce the formalization of a theory of filters and ultrafilters, and the purely definitional construction of the hyperreal numbers of Nonstandard Analysis (NSA). The hyperreals form a proper field extension of the reals that contains new types of numbers including infinitesimals and infinite numbers. By combining notions from NSA and geometry theorem proving, we propose an 'infinitesimal' geometry in which quantities can be infinitely small. This approach then reveals new properties of the geometry that only hold because infinitesimal elements are allowed. We also mechanize some analytic geometry and use it to verify the geometry theories of Isabelle. We then report on the main application of this framework. We discuss the formalization of several results from the Principia and give a detailed case study of one of its most important propositions: the Propositio Kepleriana. An anomaly is revealed in Newton's reasoning through our rigorous mechanization. Finally, we present the formalization of a portion of mathematical analysis using the nonstandard approach. We mechanize both standard and nonstandard definitions of familiar concepts, prove their equivalence, and use nonstandard arguments to provide intuitive yet rigorous proofs of many of their properties."
Automated theory formation in pure mathematics by Simon Colton( )

1 edition published in 2002 in English and held by 18 WorldCat member libraries worldwide

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for The geomet ... to 0.00 for The geomet ...)

The geometry of information retrieval
Covers
Advances in information retrieval : 24th BCS-IRSG European Colloquium on IR Research, Glasgow, UK, March 25-27, 2002 : proceedingsInformation retrieval : uncertainty and logics : advanced models for the representation and retrieval of informationSIGIR '94 : proceedings of the seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City UniversityQuantum interaction : third international symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009 : proceedingsAdaptive multimedia retrieval : user, context, and feedback : third international workshop, AMR 2005, Glasgow, UK, July 28-29, 2005 : revised selected papersSIGIR '94 : proceedings of the seventeenth annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University : 3-6 July 1994, Dublin, IrelandSIGIR '94 : proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organized by Dublin City University : held in cooperation with the ACM-SIGIR ... : 3-6 July 1994, Dublin, Ireland
Alternative Names
C. J. van Rijsbergen Dutch computer scientist

Cornelis Joost Van Rijsbergen

Cornelis Joost van Rijsbergen niederländischer Informatiker und Gründer des modernen Information Retrievals

Keith van Rijsbergen

Keith van Rijsbergen Nederlands informaticus

Rijsbergen, C. J. Keith Van

Rijsbergen, C. J. Keith van 1943-

Rijsbergen, C.J. van

Rijsbergen, C. J. van 1943-

Rijsbergen, C.J. van Computerwissenschaftler 1943-

Rijsbergen, Cornelis Joost 1943-

Rijsbergen, Cornelis Joost van.

Rijsbergen, Keith van 1943-

Rijsbergen, Keith van Computerwissenschaftler 1943-

Van Rijsbergen, C.J

Van Rijsbergen, C. J. 1943-

Van Rijsbergen, Cornelis 1943-

Van Rijsbergen, Cornelis J. 1943-

Van Rijsbergen, Cornelis Joost.

Van Rijsbergen, Cornelis Joost 1943-

Van Rijsbergen, Keith

Van Rijsbergen, Keith 1943-

VanRijsbergen, C. J. 1943-

VanRijsbergen, Cornelis J. 1943-

VanRijsbergen, Keith 1943-

К. Й. ван Рійсберґен

ריסברכן, קורנליס יוסט ון, 1943-

سى. جيه. فان ريسبيرجن عالم كومبيوتر من مملكه نيديرلاند

سي. جيه. فان ريسبيرغن

Languages