This paper presents the idea of incorporating semantic knowledge into information retrieval systems is presented. Semantic knowledge can be represented by structures such as thesauri or semantic networks. These structures are, however, very extensive and their manual construction is a complex and time-consuming task. That is why several methods allowing to acquire semantic relations in an autom...

1 Introduction When generating curves or surfaces of closed-form mathematical functions, usually the most time-consuming task is function evaluation at discrete points. Most programs (among them most of the existing computer algebra systems) achieve this by straightforward evaluations of linearly sampled points using whatever numerical evaluation routines the particular system provides. More sp...

Reading the news is a very time-consuming task. We present a methodology for a system that will automatically analyse the “last hour” news articles, offering semantic based features and real-time news reaction options. This proposal is based on an ontology knowledge representation, natural language processment and a logic-programming framework.

Providing domain knowledge needed by intelligent tutoring systems to teach a procedure to students is traditionally a difficult and time consuming task. This paper presents a system for making this process easier by allowing the automated tutor to acquire the knowledge it needs through a combination of programming by demonstration, autonomous experimentation, and direct instruction.

Measuring transaction success and dialogue smoothness is extremely time consuming and costly when done manually and on many dialogues but is the only possibility today for spoken dialogue systems without a very clear success state. This paper investigates the possibility of automatic derivation of transaction success for task-oriented dialogues based on simple act-topic annotations.

Multilinguality has been an essential feature of the International Linguistic Olympiad since its conception. Although deemed most desirable, the production of a problem set in several parallel versions and the verification of their equivalence is a time-consuming and errorprone task. This paper tells about the efforts to develop tools and methods which increase its efficiency and reliability.

BOOK REVIEWS Cancer Institute Unilaterally Issues New Restrictions on Mammography . . . . . . . 853 Battle to Legitimize Laetrile Continues Unabated . . . . . . . . . . . . . . . . . . 854 How the Swedes Live Well While Consuming Less Energy . . . . . . . . . . . . . 856 Smithsonian: "The Nation's Attic" Undergoing New Federal Scrutiny . . . . . . . 857 Warnke Stuck with Verification Task . . ....

Given the increasing broadcasting data and the ever decreasing spare time that we can spend on consuming this data, systems are required that assist us in identifying important content. Following a use case of a fictional social worker, we introduce a video retrieval system that is designed to assist special interest groups in their information gathering task.

Computer Algebra Systems are developing very fast and it is now possible to use new computational power very efficiently to analytically integrate dynamical systems. However, the task of producing an appropriate program is time consuming and requires a considerable amount of skills and practice. Here the merits of numerical versus computer algebraic approaches are compared in the context of a s...