This paper makes two contributions to the area of single-word based word alignment for bilingual sentence pairs. Firstly, it integrates the – seemingly rather different – works of (Bodrumlu et al., 2009) and the standard probabilistic ones into a single framework. Secondly, we present two algorithms to optimize the arising task. The first is an iterative scheme similar to Viterbi training, able...

In this paper, we consider action-labelled systems with non-deterministic and probabilistic choice. Using the concept of norm functions GV98], we introduce two types of bisimulations that allow for delays when simulating a transition. The so obtained equivalences (called (strict) normed bisimulation equivalence) are strictly between strong and weak bisimulation equivalence a la LS89, SL94, SL95...

We propose a framework for robust modeling of linear programming problems using uncertainty sets described by an arbitrary norm. We explicitly characterize the robust counterpart as a convex optimization problem that involves the dual norm of the given norm. Under a Euclidean norm we recover the second order cone formulation in BenTal and Nemirovski [1, 2], El Ghaoui et al. [8, 9], while under ...

We develop probabilistic upper bounds for the matrix two-norm, the largest singular value. These bounds, which are true upper bounds with a userchosen high probability, are derived with a number of different polynomials that implicitly arise in the Lanczos bidiagonalization process. Since these polynomials are adaptively generated, the bounds typically give very good results. They can be comput...

We present an exhaustive analysis of the problem of computing the relative entropy of two probabilistic automata. We show that the problem of computing the relative entropy of unambiguous probabilistic automata can be formulated as a shortest-distance problem over an appropriate semiring, give efficient exact and approximate algorithms for its computation in that case, and report the results of...

in this paper,~some results on finite dimensional generating spaces of quasi-norm family are established.~the idea of equivalent quasi-norm families is introduced.~riesz lemma is established in this space.~finally,~we re-define b-s fuzzy norm and prove that it induces a generating space of quasi-norm family.

Triangular norms are a generalisation of the classical two-valued conjunction. They were originally introduced for definition of the probabilistic (statistical) metric spaces as a generalisation of the classical triangle inequality for ordinary metric spaces. The next investigations were related with axiomatic of these norms. In this paper, a new t-norm is proposed which is generalisation of th...