We intended to demonstrate the effect of using N -best speech recognition hypotheses for improving speech translation performance. A log-linear model, which integrated features from speech recognition and statistical machine translation, was used to rescore the translation candidates. Model parameters were estimated by optimizing an objectively measurable but subjectively relevant translation q...

This article employs Least Square Support Vector Machine (LSSVM) for determination of Compression Index (Cc) of marine clay in east coast of Korea. This study uses LSSVM as a regression tool. In LSSVM, the regression equation is obtained as the solution to a linear system instead of a quadratic programming (QP) problem. The input parameters of LSSVM are natural water content (n), liquid limit ...

In this paper, we describe the RWTH statistical machine translation (SMT) system which is based on log-linear model combination. All knowledge sources are treated as feature functions which depend on the source language sentence, the target language sentence and possible hidden variables. The main feature of our approach are the alignment templates which take shallow phrase structures into acco...

Linear Meld is a concurrent forward-chaining linear logic programming language where logical facts can be asserted and retracted in a structured way. The database of facts is partitioned by the nodes of a graph structure which leads to parallelism if nodes are executed simultaneously. Communication arises whenever nodes send facts to other nodes by fact derivation. We present an overview of the...

There has been an increasing interest in applying machine learning methods in urban energy assessment. This research implemented six statistical learning methods in estimating domestic gas and electricity using both physical and socio-economic explanatory variables in London. The input variables include dwelling types, household tenure, household composition, council tax band, population age gr...

Purpose – Force output is extremely important for electromagnetic linear machines. The purpose of this study is to explore new permanent magnet (PM) array and winding patterns to increase the magnetic flux density and thus to improve the force output of electromagnetic tubular linear machines. Design/methodology/approach – Based on investigations on various PM patterns, a novel dual Halbach PM ...

Prior knowledge in the form of multiple polyhedral sets, each belonging to one of two categories, is introduced into a reformulation of a linear support vector machine classifier. The resulting formulation leads to a linear program that can be solved efficiently. Real world examples, from DNA sequencing and breast cancer prognosis, demonstrate the effectiveness of the proposed method. Numerical...

Permanent magnet (PM) array affects flux field distribution of electromagnetic linear machines significantly. A novel dual Halbach array is proposed in this paper to enhance flux density in air gap, and thus to improve output performance of linear machines. Magnetic field in three-dimensional (3D) space of a tubular linear machine with dual Halbach array is formulated based on Laplace’s and Poi...

A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart since one-tape linear-time Turing machines are closely related to finite state automata. This paper discusses structural-complexity issues of one-tape Turing machines of various types (deterministic, nondeterministic, reversible, alternating, probabilistic, counting, and quantum Turing machi...