1 Abstract 1.1 Motivation Complete forward-backward (Baum-Welch) hidden Markov model training cannot take advantage of the linear space, divide-and-conquer sequence alignment algorithms because of the examination of all possible paths rather than the single best path. This paper discusses the implementation and performance of checkpoint-based reduced space sequence alignment in the SAM Hidden M...

The aim of the study was to find out how EEG rhythmical patterns change with gradual changes of a degree of verbal and spatial thinking involved in the process of task solving. The obtained data allowed us to draw two principally new conclusions. 1. During performance of mixed tasks the spatial and verbal thinking do not mix, and their rhythmical signs are both present with their basic properti...

Most geometric models are quantitative, making it diffiiult to abstract the underlying spatial information needed for tasks such as planning, learning or vision. Furthermore, the precision used in a typical quantitative system often exceeds the actual accuracy of the data. In this work we describe a systematic representation that builds spatial maps based on local qualitative relations between ...

This paper presents a group-theoretical vector space model (VSM) that extends the VSM with a group action on a vector space of the VSM. We use group and its representation theory to represent a dynamic transformation of information objects, in which each information object is represented by a vector in a vector space of the VSM. Several groups and their matrix representations are employed for r...

generally, the measured secondary field data is inverted into resistivity using two principal models; the homogeneous half-space model and the layered half-space model. while the homogeneous half-space inversion uses single frequency data, the inversion is done individually for each of the frequencies used, the multi-layer 1d inversion is able to take the data of all frequencies available into ...

in this paper, we deal with the subdierential concept onhadamard spaces. flat hadamard spaces are characterized, and nec-essary and sucient conditions are presented to prove that the subdif-ferential set in hadamard spaces is nonempty. proximal subdierentialin hadamard spaces is addressed and some basic properties are high-lighted. finally, a density theorem for subdierential set is establi...

Current algorithms for bounded model checking use SAT methods for checking satisfiability of Boolean formulae. Methods based on the validity of Quantified Boolean Formulae (QBF) allow an exponentially more succinct representation of formulae to be checked, because no “unrolling” of the transition relation is required. These methods have not been widely used, because of the lack of an efficient ...

We attempt using simple feedforward neural networks to learn a continuous space language model (CSLM) and evaluate its performance on French and English. The training of the model is performed bilingually, in which we try to capture not only different features from one language, but also the multilingual relation demonstrated in the parallel training data. We achieved the perplexity of 191.2 on...