The importance of sentence-aligned parallel corpora has been widely acknowledged. Reference corpora in which sub-sentential translational correspondences are indicated manually ar...
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
- The purpose of this paper is to develop an algorithm to determine the Hamilton Circuit in a given graph of degree three. This algorithm will find Hamilton Circuit in polynomial s...
Ghulam Mustafa Babar, Malik Sikander Hayat Khiyal,...
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...