We present an algorithm for computing both functional dependency and unateness of combinational and sequential Boolean functions represented as logic networks. The algorithm uses SAT-based techniques from Combinational Equivalence Checking (CEC) and Automatic Test Pattern Generation (ATPG) to compute the dependency matrix of multi-output Boolean functions. Additionally, the classical dependency...

In recent years, we have investigated algorithmic methods for automatically discovering and optimizing sequential treatments for chronic and life-threatening diseases. In this talk I will discuss two aspects of this work, first the problem of efficiently collecting data to learn good sequential treatment strategies, and second the problem of using data collected in multi-stage sequential trials...

Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of the recursive equations for sufficient statistics. These recursive equations allow to construct algorithms of current classification of observable sequences in the rate of entering its values into the on-line operati...

The usefulness of fuzzy segmentation algorithms based on fuzzy connectedness principles has been established in numerous publications. New technologies are capable of producing larger-and-larger datasets and this causes the sequential implementations of fuzzy segmentation algorithms to be time-consuming. We have adapted a sequential fuzzy segmentation algorithm to multi-processor machines. We d...

An approach to identifying ground targets from sequential highrange-resolution (HRR) radar signatures is presented. A hidden Markov model (HMM) is employed to model the sequential information contained in multi-aspect target signatures. Dominant range-amplitude features are extracted via RELAX for dimension reduction. A new distance measure is incorporated into the HMM to allow a direct matchin...

the purpose of this study was to determine the relationship between religiosity of iranians and their attitude toward democracy. the subjects of the study consisted of 383 students (both male and female) from shiraz university, and the data was collected through a questionnaire in spring 2004. to determine the relationship, the writers used max weber's theory. students' religiosity was measured...

High dimensional sequences, such as biological sequences, are characterized by a small number of transactions, and a large number of items in each transaction. Mining sequential patterns in the sequences need to consider different forms of patterns, such as contiguous patterns, local patterns which appear more than one time in a special sequence, and so on. Mining closed patterns might lead to ...

We present a reliable universal method for ranking sequential patterns (itemset-sequences) with respect to significance in the problem of frequent sequential pattern mining. We approach the problem by first building a probabilistic reference model for the collection of itemsetsequences and then deriving an analytical formula for the frequency for sequential patterns in the reference model. We r...

Multi-robot task allocation research has focused on sequential single-item auctions and various extensions as quick methods for allocating tasks to robots with small overall team costs. In this paper we outline the benefits of grouping tasks with positive synergies together and auctioning clusters of tasks rather than individual tasks. We show that with task-clustering the winner determination ...

For general estimable parameters in a nonparametric setup, shrinkage (Stein-rule) and preliminary test estimator versions of U-statistics are considered for the (multi-parameter) minimum risk sequential estimation problem. In the usual fashion, allowing the cost per unit sample to be small, an asymptotic model is framed, and in this setup, the asymptotic distributional risks of these versions o...