Manual thematic annotation of a journalistic corpus : first observations and evaluation. The work presented in this paper focuses on the creation of a corpus of journalistic texts annotated at dicourse level, more precisely on a topic level. The annotation model is a classic segmentation one, to which we add transition zones between topical units. We assume that in a well-structured text, the a...

Current writing tools support basic annotations, such as edits and comments, which are anchored directly in the document, but these tools are not sophisticated enough to support the full collaborative writing workflow. We propose annotation bundles, which are comprehensive annotation structures that better support the collaborative writing process.

d e An exploration of how object-oriented design, as implemented in the Eiffel language an nvironment, integrates and extends the seminal concepts of structured programming.

Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. While the focus has originally been on logics with a proof theoretic semantics, we have recently shown how to define model theoretic logics in LF as well. We have used this to define new institutions in the Heterogeneous Tool Set in a purely declarat...

Stone tool-making is an ancient and prototypically human skill characterized by multiple levels of intentional organization. In a formal sense, it displays surprising similarities to the multi-level organization of human language. Recent functional brain imaging studies of stone tool-making similarly demonstrate overlap with neural circuits involved in language processing. These observations co...

The principal frame and principal quadric form a fundamental description of a smooth surface at a point. This paper is concerned with estimating these from the 3D data acquired by a sensor such as a structured light system. Eight diierent estimation methods are described and a comparison of their performance is presented.

This paper deals with the design of hierarchically structured programming systems. It develops a method for evaluating the cost of requiring programmers to work with an abstraction of a real machine. A number of examples from hardware and software are given as illustrations of the method.

The paper presents the basic requirements that must cover distance education processes (“e-learning”) in universities. We show the concepts of instruction design, an adaptive learning model for evaluating necessities, accreditation, and quality proposal. The experience indicates that to obtain good results we should evaluate the differences between the criteria of the professor and the criteria...