Topic Areas or Theme ID: discourse analysis, discourse segmentation, discourse plans Word Count: 3196 words (excluding gures) Under consideration for other conferences (specify)? No. Abstract We propose a promising research problem, the machine veriication of textbook proofs. It shows that textbook proofs are a suuciently complex and highly struc-tured form of discourse, embedded in a well-deen...

This paper addresses the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method to structure any process model that belon...

Terminology structuring has been the subject of much work in the context of terms extracted from corpora: given a set of terms, obtained from an existing resource or extracted from a corpus, it consists in identifying hierarchical (or other types of) relations between these terms. The present work aims at assessing the feasibility of such structuring by studying it on an existing hierarchically...

Microalgae are increasingly being utilized as food ingredients for a variety of applications, including as sources of protein, egg and dairy substitutes, and cooking oils. The dietary safety of a new structuring fat produced using a heterotrophic fermentation process by a strain of Prototheca moriformis was evaluated in a 13-week dietary toxicity study and compared with kokum fat, a structuring...

Traditionally work on multimedia structuring has been centered on the creation of indices and their use for searching. Although searching is important there are many cases where the user just wants to browse through the data to find something interesting without having any particular search goal. Multimedia data exhibits hierarchical structure that can be exploited for more natural user interac...

The aim of this tutorial is to present practical techniques for structuring objects, with a particular focus on implementation strategies for making object structure explicit. Programming language support for encapsulation is primarily provided at the class or module level. Design methods merrily talk of object composition and aggregation, but there is little effective support provided in progr...

Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be expressed at various levels of abstraction and organised as a hierarchy of goals. In developing policy, it is desirable to decompose from top-level objectives down to rules in a structured manner. The Goal Structuring Notation ...

The operating principle of the new lithography process, which is suitable for all commercially available photoresists, is easily understood: Ultrashort laser pulses are strongly focused into the material, which is then exposed by means of a nonlinear optical process in the focal point. Like a pen that is moved in three dimensions, the laser beam writes on the material following arbitrary paths....

The algebraic approach originally concentrated on the use of equational logic as the basic formalism for specification. This use was successful in many senses. In particular, the good behaviour of equational logic with respect to a number of semantic constructs has helped to facilitate the study of new specification concepts and constructs. At the same time, the categorical techniques used for ...

XML as the most successful data representation format makes it easy to start working with structured data because of the simplicity of XML documents and DTDs, and because of the general availabilityof tools. This paper first describes the origin and features of XML as a markup language. In a second part, the question of how to use the features provided by XML for structuring content is addresse...