14th Information Retrieval Colloquium

14th Information Retrieval Colloquium
Author: Tony McEnery
Publisher: Springer Science & Business Media
Total Pages: 201
Release: 2012-12-06
Genre: Computers
ISBN: 1447132114

We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. The papers display very well the scope and breadth of information retrieval, as indeed did the workshop ilself. They also present a good cross-section of current IR research, and as such provide a useful signpost for trends in information retrieval. Before we finish we must thank the following colleagues: Simon Botley, Paul Rayson and Paul Jones for their help in the organization of the conference. We would also like to extend a special message of thanks to Professor G.N. Leech of the Department of Linguistics at Lancaster and Roger Garside of the Department of Computing at Lancaster for their support during the conference period. Tony McEnery would also like to express his thanks and gratitude to Paul Baker for his help during the production of this book. September 1992 Tony McEnery Chris Paice Contents A Logical Model of Information Retrieval Based on Situation Theory M. La/mas and K. van Rijsbergen ........................................................ .

A Guided Tour of Artificial Intelligence Research

A Guided Tour of Artificial Intelligence Research
Author: Pierre Marquis
Publisher: Springer Nature
Total Pages: 584
Release: 2020-05-08
Genre: Technology & Engineering
ISBN: 3030061701

The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D. students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes: - the first volume brings together twenty-three chapters dealing with the foundations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning) - the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI Algorithms) - the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI). This third volume is dedicated to the interfaces of AI with various fields, with which strong links exist either at the methodological or at the applicative levels. The foreword of this volume reminds us that AI was born for a large part from cybernetics. Chapters are devoted to disciplines that are historically sisters of AI: natural language processing, pattern recognition and computer vision, and robotics. Also close and complementary to AI due to their direct links with information are databases, the semantic web, information retrieval and human-computer interaction. All these disciplines are privileged places for applications of AI methods. This is also the case for bioinformatics, biological modeling and computational neurosciences. The developments of AI have also led to a dialogue with theoretical computer science in particular regarding computability and complexity. Besides, AI research and findings have renewed philosophical and epistemological questions, while their cognitive validity raises questions to psychology. The volume also discusses some of the interactions between science and artistic creation in literature and in music. Lastly, an epilogue concludes the three volumes of this Guided Tour of AI Research by providing an overview of what has been achieved by AI, emphasizing AI as a science, and not just as an innovative technology, and trying to dispel some misunderstandings.

Incompleteness and Uncertainty in Information Systems

Incompleteness and Uncertainty in Information Systems
Author: V.S. Alagar
Publisher: Springer Science & Business Media
Total Pages: 245
Release: 2012-12-06
Genre: Computers
ISBN: 1447132424

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring together researchers who share a concern for issues of incompleteness and uncertainty. The workshop attracted people doing fundamental research and industry oriented research in databases, software engineering and AI from North America, Europe and Asia. The workshop program featured six invited talks and twenty other presentations. The invited speakers were: Martin Feather (University of Southern CalifornialInformation Systems Institute) Laks V. S. Lakshmanan (Concordia University) Ewa Orlowska (Polish Academy of Sciences) z. Pawlak (Warsaw Technical University and Academy of Sciences) F. Sadri (Concordia University) A. Skowron (Warsaw University) The papers can be classified into four groups: rough sets and logic, concept analysis, databases and information retrieval, and software engineering. The workshop opened with a warm welcome speech from Dr. Dan Taddeo, Dean, Faculty of Engineering and Computer Science. The first day's presentations were in rough sets, databases and information retrieval. Papers given on the second day centered around software engineering and concept analysis. Sufficient time was given in between presentations to promote active interactions and numerous lively discussions. At the end of two days, the participants expressed their hope that this workshop would be continued.

A Generative Theory of Relevance

A Generative Theory of Relevance
Author: Victor Lavrenko
Publisher: Springer Science & Business Media
Total Pages: 211
Release: 2008-11-14
Genre: Computers
ISBN: 3540893644

A modern information retrieval system must have the capability to find, organize and present very different manifestations of information – such as text, pictures, videos or database records – any of which may be of relevance to the user. However, the concept of relevance, while seemingly intuitive, is actually hard to define, and it's even harder to model in a formal way. Lavrenko does not attempt to bring forth a new definition of relevance, nor provide arguments as to why any particular definition might be theoretically superior or more complete. Instead, he takes a widely accepted, albeit somewhat conservative definition, makes several assumptions, and from them develops a new probabilistic model that explicitly captures that notion of relevance. With this book, he makes two major contributions to the field of information retrieval: first, a new way to look at topical relevance, complementing the two dominant models, i.e., the classical probabilistic model and the language modeling approach, and which explicitly combines documents, queries, and relevance in a single formalism; second, a new method for modeling exchangeable sequences of discrete random variables which does not make any structural assumptions about the data and which can also handle rare events. Thus his book is of major interest to researchers and graduate students in information retrieval who specialize in relevance modeling, ranking algorithms, and language modeling.

Intelligent Communication, Control and Devices

Intelligent Communication, Control and Devices
Author: Sushabhan Choudhury
Publisher: Springer Nature
Total Pages: 966
Release: 2019-08-28
Genre: Technology & Engineering
ISBN: 9811386188

The book focuses on the integration of intelligent communication systems, control systems, and devices related to all aspects of engineering and sciences. It includes high-quality research papers from the 3rd international conference, ICICCD 2018, organized by the Department of Electronics, Instrumentation and Control Engineering at the University of Petroleum and Energy Studies, Dehradun on 21–22 December 2018. Covering a range of recent advances in intelligent communication, intelligent control and intelligent devices., the book presents original research and findings as well as researchers’ and industrial practitioners’ practical development experiences of.

Music Education: An Artificial Intelligence Approach

Music Education: An Artificial Intelligence Approach
Author: Matt Smith
Publisher: Springer Science & Business Media
Total Pages: 177
Release: 2013-03-09
Genre: Computers
ISBN: 1447135717

The research fields of "artificial intelligence and music" and "cognitive musicology" are relative newcomers to the many interdisciplinary groupings based around the centre of AI and cognitive science. They are concerned with the computational study and emulation of human behaviour with respect to music, in many aspects, and with varying degrees of emphasis on psychological plausibility. Recent publications have included work in such diverse areas as rhythm and pitch perception, performance, composition, and formal analysis. Music shares with language the property of giving access to human mental behaviour in a very direct way. As such, it has the potential to be a very useful domain for AI work. Furthermore, in the course of time, AI related work will surely throw light back onto some or all of the fields to which it is applied. Indeed, we are already beginning to feel the benefits of the application of AI techniques to music technology. It is not surprising, therefore, that one of the first areas interest for of musical AI study is that of music education. There are many ways in which an artificial intelligence or cognitive science approach to music education may be applied - for example, to automate tuition, to explain learning processes, to provide metaphors for human computer interaction, and so on. This collection of papers, which is intended to give an impression of both the breadth and depth of the field, originated from a workshop entitled "Music Education: An Artificial Intelligence Approach".

Rough Sets, Fuzzy Sets and Knowledge Discovery

Rough Sets, Fuzzy Sets and Knowledge Discovery
Author: Wojciech P. Ziarko
Publisher: Springer Science & Business Media
Total Pages: 486
Release: 2012-12-06
Genre: Computers
ISBN: 1447132386

The objective of this book is two-fold. Firstly, it is aimed at bringing to gether key research articles concerned with methodologies for knowledge discovery in databases and their applications. Secondly, it also contains articles discussing fundamentals of rough sets and their relationship to fuzzy sets, machine learning, management of uncertainty and systems of logic for formal reasoning about knowledge. Applications of rough sets in different areas such as medicine, logic design, image processing and expert systems are also represented. The articles included in the book are based on selected papers presented at the International Workshop on Rough Sets and Knowledge Discovery held in Banff, Canada in 1993. The primary methodological approach emphasized in the book is the mathematical theory of rough sets, a relatively new branch of mathematics concerned with the modeling and analysis of classification problems with imprecise, uncertain, or incomplete information. The methods of the theory of rough sets have applications in many sub-areas of artificial intelligence including knowledge discovery, machine learning, formal reasoning in the presence of uncertainty, knowledge acquisition, and others. This spectrum of applications is reflected in this book where articles, although centered around knowledge discovery problems, touch a number of related issues. The book is intended to provide an important reference material for students, researchers, and developers working in the areas of knowledge discovery, machine learning, reasoning with uncertainty, adaptive expert systems, and pattern classification.

Structures in Concurrency Theory

Structures in Concurrency Theory
Author: Jörg Desel
Publisher: Springer Science & Business Media
Total Pages: 364
Release: 2013-03-08
Genre: Mathematics
ISBN: 1447130782

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.

Recent Advances in Temporal Databases

Recent Advances in Temporal Databases
Author: James Clifford
Publisher: Springer Science & Business Media
Total Pages: 361
Release: 2012-12-06
Genre: Computers
ISBN: 1447130332

The International Workshop on Temporal Databases held in Zurich, Switzerland, 17-18 September 1995 brought together researchers from academic and industrial institutions with database practitioners interested in keeping up with the state-of-the-art developments in the management of temporal data. A previous workshop in Arlington, Texas in June 1993 focused on the development of an infrastructure that would spur the development of commercial implementations of many of the generally agreed-upon features of temporal database management that have emerged from the temporal database research community over more than a decade of research. This ARP AlNSF-sponsored Arlington workshop saw the formation of the TSQL2 Language Design Committee, which led to the development of the recently completed TSQL2 Language Specification, and also created a "consensus" glossary of temporal database terminology and a test suite of temporal database queries. The Zurich workshop was conceived from the outset to be universal in scope, and international in participation. The Call for Papers sought to evoke the highest quality and most up-to-date temporal database research from around the world. Mindful of the important work accomplished by the previous workshop, the Call also specifically sought out research papers and panels that would comment and build upon the widely publicized results from Arlington. These proceedings contain the papers that were selected for presentation at the International Workshop, on Temporal Databases held in Zurich, Switzerland on 17-18 September 1995.

Functional Programming, Glasgow 1993

Functional Programming, Glasgow 1993
Author: John T. O'Donnell
Publisher: Springer Science & Business Media
Total Pages: 297
Release: 2012-12-06
Genre: Computers
ISBN: 144713236X

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.