In this paper we present a logical language for representing and reasoning about drawings in the context of interactive computer graphics. We discuss the motivation for this kind of representation in graphics systems and its applications to geometric reasoning and constraint satisfaction. A formal deenition of the language and its interpretation process is presented and illustrated. The theoret...

This paper describes the research and development activities carried out in the framework of the Translearn project. The aim of the project is to build a translation memory tool and the appropriate translation work environment. Translearn's application corpus consists of regulations and directives of the European Union (EU), extracted from the CELEX database, the EUs documentation system on EU ...

A peloton is a group of cyclists whose individual and collective energy expenditures are reduced when cyclists ride behind others in zones of reduced air pressure; this effect is known in cycling as ‘drafting’. Through drafting cyclists couple their energy expenditures. Coupling of cyclists’ energy expenditures when drafting is the basic peloton property from which self-organized collective beh...

Studies Computer aided drafting (CAD) has largely supplanted manual drafting in the workplace. As new technologies and practices are adopted in industry, they should also be incorporated in academic curricula (Stephens, 1997). Consequently , CAD has also become the standard in academic environments, and coursework emphasizing manual drafting has been largely eliminated or relegated to introduct...