A novel application of the generalized traveling salesman is pro- posed. The practical problem considered optimization different criteria in various models a mixed assembly worksta- tion. Several that give rise to interesting problems are discussed. Keywords: problem, flexible workstation.

A new approach to testing protocols in which both the speciication and the implementation exhibit non-determinism is described. Test sequences are generated by an adaptive tester, which executes in parallel with the implementation under test (IUT). The adap-tive tester attempts to determine a posteriori which non-deterministic choice the IUT has made, and uses this information to decide how to ...

Logical Story Unit (LSU) segmentation in general domains, such as movies and television series, requires interaction between human experts and automatic tools. We present an interaction model that allows users, who are non-experts in the field of video processing, to segment videos into logical story units by tuning models rather than manual correction of results of automatic methods. Suitable ...

Though a number of web-based CAT tools have emerged over recent years, to date the most common form of CAT tool used by translators remains the desktop-based CAT tool. However, currently none of the most commonly used desktop-based CAT tools provide a means of measuring translation speed at a segment level. This metric is important, as previous work on MT productivity testing has shown that edi...

with a poor prognosis without prompt optimal management. Even though the overall mortality declined over these years, the in-hospital mortality was still high up to 19.7% for those patients receiving emergent surgery and 57.1% in those medically treated based on a 17-year analysis of International Registry of Acute Aortic Dissection (IRAD) [1]. The most typical symptom of patients with TAAAD is...