In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...

For applications such as video games and virtual walk-throughs, on-line locomotion control is an important issue. In general, the user prescribes a sequence of motions one by one while providing an input trajectory. Since the input trajectory lacks in human characteristics, one may not synthesize quality motions by blindly following it. In this paper, we present a novel data-driven scheme for t...

We consider a stochastic environment with multiple possible agent types. In this context we focus on the problem of type recognition, which aims at quickly identifying the type of agent acting in the system. We offer a framework for assessing type recognition models and ways to redesign the models for improved recognition. Allowing the definition of arbitrary system cost functions for unrecogni...

In this work we introduce novel image metrics that can be used with distance-based classifiers or directly to decide whether two input images belong to the same class. While most prior image distances rely purely on comparisons of low-level features extracted from the inputs, our metrics use a large database of labeled photos as auxiliary data to draw semantic relationships between the two imag...

In the paper we present a new framework for improving classifiers learned from imbalanced data. This framework integrates the SPIDER method for selective data pre-processing with the Ivotes ensemble. The goal of such integration is to obtain improved balance between the sensitivity and specificity for the minority class in comparison to a single classifier combined with SPIDER, and to keep over...

A palindrome is a string that reads the same forward and backward. We say that two strings of the same length are pal-equivalent if for each possible center they have the same length of the maximal palindrome. Given a text T of length n and a set of patterns P1, . . . , Pk, we study the online multiple palindrome pattern matching problem that finds all pairs of an index i and a pattern Pj such ...

In this paper we describe the technical implementation of our system that participated in the Helping Our Own 2012 Shared Task (HOO-2012). The system employs a number of preprocessing steps and machine learning classifiers for correction of determiner and preposition errors in non-native English texts. We use maximum entropy classifiers trained on the provided HOO-2012 development data and a la...

abstract aim and background: parenting styles are particular methods that parents use of them in nurturing of their children.the aim of this study was comparing parenting styles of mothers of pre-school children with and without intellectual disabilities. method and material: this is a causal-comparative research.the statistical population of this research includes the whole mothers of pre-scho...

In this paper we investigate the usefulness of preprocessing part of the input of a given problem to improve the efficiency. We extend the results of [Cadoli et al., 1996] by giving sufficient conditions to prove the unfeasibility of reducing the on-line complexity via an offline preprocessing. We analyze the problems of diagnosis [Peng and Reggia, 1986], planning [Bylander, 1991], reasoning ab...

A general equation is given for the size of complex constellations constructed from the direct sum of PSK-like constellation primitives. The equation uses a generating function whose numerator is a power of a ’coordination polynomial’. Conjectures are also given as to the form and value of these coordination polynomials for various PSK. The study has relevance to error-coding, polynomial residu...