Terminology constitutes the major part of a technical document. The use of the right or preferred terms in a technical document is, for economical, legal or just for presentational reasons, of prime interest for the company. Controlling this use should be automated, especially in the application context of a Controlled Language. Term variation constitutes a valid clue for the realisation of suc...

This paper discusses the writing and translation problems that multilinguality imposes to software industry. Inconsistent terminology, inefficient reuse of existing translation resources as well as lack of control of technical writing and translation process are such problems caused mainly by the inefficient organisation and retrieval of lexical resources. The paper proposes the use of a knowle...

1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand-and this is more relevant here-, I start "from scratch", and thus what I say can be understood with little technical knowledge. I only assume a modest amount of category theory as background. I will talk informally a...

Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or something else entirely. The area of partial evaluation and program transformation is no different, which may make it hard for the uninitiated to grasp some parts of technical papers or discussions. This list of words and...

Acquiring and updating terminological resources are di cult and tedious tasks, especially when semantic information should be provided. This paper deals with Term Semantic Categorization. The goal of this process is to assign semantic categories to unknown technical terms. We propose two approaches to the problem that rely on di erent knowledge sources. The exogeneous approach exploits contextu...

In this paper we argue that questionanswering (QA) over technical domains is distinctly different from TREC-based QA or Web-based QA and it cannot benefit from data-intensive approaches. Technical questions arise in situations where concrete problems require specific answers and explanations. Finding a justification of the answer in the context of the document is essential if we have to solve a...