An X-machine is a general computational machine that can model: (a) non-trivial data structures as a typed memory tuple and (b) the dynamic part of a system by employing transitions, which are not labeled with simple inputs but with functions that operate on inputs and memory values. The X-machine formal method is valuable to software engineers since it is rather intuitive, while at the same ti...

The article presents the experiments carried out as part of the participation in Recognizing Inference in TExt and Validation (RITE-VAL) 1 at NTCIR-11 for Japanese. RITE-VAL has two subtasks i.e. Fact Validation and System Validation subtask for Chinese-Simplified (CS), ChineseTraditional (CT), English (EN), and Japanese (JA) and semantic relation between two texts such as entailment, contradic...

We present an end-to-end machine-human image annotation system where each component can be attached in a plug-andplay fashion. These components include Feature Extraction, Machine Classifier, Task Sampling and Crowd Consensus.

Nowadays we are facing a growing demand for semantic knowledge in computational applications, particularly in Natural Language Processing (NLP). However, there aren’t sufficient human resources to produce that knowledge at the same rate of its demand. Considering the Portuguese language, which has few resources in the semantic area, the situation is even more alarming. Aiming to solve that prob...

This article deals with aspects of accuracy of machine tools and quality of products. As there is a big influence of accuracy of individual components of machine tools on quality of product, it is very important to know all aspects and influences of technological system on final precision of product. Several aspects of diagnostics of machine tools are described, such as aspects of reliability.

Monitoring the state of mechanical machine tool components is of growing importance for increasing machine tool availability and reducing inspection efforts and costs. Open Numeric Controls offer a new opportunity for getting access to signals of drives as well as of the control itself and to integrate end-user’s individual applications. Because the actual drive signals contain information on t...

A wide range of software units can be classified as state machines. We extend conventional state machine notations by adding regular expressions of events and unions of source states to state machine transitions. Reusable software components are generated from these extended state machine specifications. Component specification and generation are illustrated in Java.

This report describes OpenMaTrEx, a free/open-source hybrid data-driven machine translation system containing core example-based components based on the marker hypothesis. OpenMaTrEx comprises a marker-driven chunker, a collection of chunk aligners, tools to merge (“hybridise”) marker-based and statistical translation tables, two engines —a simple proof-of-concept monotone “example-based” recom...

The development of real-time control systems is a complex process which has to face often conflicting requirements, especially those related to the performance of the control methods and the real-time behaviour of the system. The ASSERT Virtual Machine provides a reliable execution platform for such systems, which allows developers to cope with functional and real-time aspects separately. In or...

BACKGROUND In the context of sensory and cognitive-processing deficits in ADHD patients, there is considerable evidence of altered event related potentials (ERP). Most of the studies, however, were done on ADHD children. Using the independent component analysis (ICA) method, ERPs can be decomposed into functionally different components. Using the classification method of support vector machine,...