We develop a higher level terminology for the SCM machine defined by Nakamura and Trybulec in [5]. Among numerous technical definitions and lemmas we define a complexity measure of a halting state of SCM and a loader for SCM for arbitrary finite sequence of instructions. In order to test the introduced terminology we discuss properties of eight shortest halting programs, one for each instruction.

Terminology building cannot be considered as a full automated process but rather as a cooperative task between terminological tools and terminologists. Identifying terms in a technical domain is a matter of word usage and expert agreement. We point out the problem of the evaluation of such tools: their quality and their contribution to the terminology building is difficult to estimate and canno...

The identification and extraction of technical terms is one of the better understood and most robust natural language processing (NLP) technologies within the current state of the art of language engineering. In generic information management contexts, terms have been used primarily for procedures seeking to identify a set of phrases that is useful for tasks such as text indexing, computational...

This paper describes automatic terminology intelligibility estimation for readership-oriented technical writing. We assume that the term frequency weighted by the types of documents can be an indicator of the term intelligibility for a certain readership. From this standpoint, we analyzed the relationship between the following: average intelligibility levels of 46 technical terms that were rate...

This paper describes a. me thod for retrieving pat terns of words a.nd expressions frequently used in a. specific dom a.in and building a. dictionary for ma.chine t rans la t iou(MT). The method uses an untagged text corpus in retrieving word sequences a.nd simplified pa.rt-of-speech ternplates in identifying their synta.ctic ca.tegories. The pa.per presents e×perimenta.l results for a.pplying ...

OBJECTIVE To perform a systematic review of compliance with standardized terminology and reporting criteria for radiofrequency (RF) tumor ablation, proposed by the International Working Group on Image-Guided Tumor Ablation in 2003, in the published reports. MATERIALS AND METHODS Literature search in the PubMed database was performed using index keywords, PubMed limit system, and eligibility c...

Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learner that play symmetrical (to a certain extent) roles and construct together the learner model. The paper presents an application of IOLM for diagnosing and fostering a learner's conceptual understanding in a terminolo...

This paper discusses the design and implementation of Termino, a large-scale terminological resource for text processing. Dealing with terminology is a difficult but unavoidable task for natural language processing applications, such as information extraction in technical domains. Complex, heterogeneous information must be stored about large numbers of terms. At the same time term recognition m...

In this paper we discuss the structure of a domain in a terminological area and some aspects related to using it for computer-based intelligent instruction. The most significant aspect of the suggested terminological model lies in its effective applicability for tutoring. We consider two basic instructional issues: (1) organising the pedagogical process and guiding instruction; (2) building int...

ion recursion structuration Avoiding intellectual confusion(s) Focusing on scientific problems and technical choices Rigorous terminology — not just definitions: a model