ACM Computing Surveys articles

Recent articles from ACM Computing Surveys

Efficient Reasoning.(in knowledge-based computers)
March 1, 2001... 1. INTRODUCTION Many information systems use a corpus of explicitly stored information (a.k.a. a "knowledge base," KB) to solve their range of problems. For example, medical diagnostic systems use general facts about diseases, as well as the specific details of a particular patient, to...

A Guided Tour to Approximate String Matching.(text processing)
March 1, 2001... 1. INTRODUCTION This work focuses on the problem of string matching that allows errors, also called approximate string matching. The general goal is to perform string matching of a pattern in a text where one or both of them have suffered some kind of (undesirable) corruption. Some...

A Software Engineering Perspective on Algorithmics.
March 1, 2001... 1. INTRODUCTION By a component we mean an encapsulated piece of code, which is not intended to be a stand-alone module, but to perform a specific task within a large software package or even within several distinct software packages. For example, every subroutine may be viewed as a...

Logical Models of Argument.
December 1, 2000... 1. MODELING ARGUMENT IN ARTIFICIAL INTELLIGENCE Artificial intelligence (AI) has long dealt with the challenge of modeling commonsense reasoning, which almost always occurs in the face of incomplete and potentially inconsistent information [McCarthy 1984; McCarthy and Hayes 1969]. A...

Extracting Usability Information from User Interface Events.
December 1, 2000... 1. INTRODUCTION User interface events (UI events) are generated as natural products of the normal operation of window-based user interface systems such as those provided by the Macintosh Operating System [Lewis and Stone 1999], Microsoft Windows [Petzold 1998], the X Window System [Nye...