546963
Decision Problems for Patterns
We settle an open problem, the inclusion problem for pattern languages. This is the first known case where inclusion is undecidable for generative devices having a trivially decidable equivalence problem. The study of patterns goes back to the seminal work of Thue and is important also, for instance, in recent work concerning inductive inference and learning. Our results concern both erasing and nonerasing patterns.
10375023
A Pumping Lemma for Deterministic Context-Free Languages
Abstract In this paper, we introduce a new pumping lemma and a new iteration theorem for deterministic context-free languages (DCFLs). As application of the lemma, several languages are shown not to be deterministic context-free by using this lemma. An iteration theorem for DCFLs has already been introduced by Harrison in [3]. However, the result presented in this paper is different from his. Instead of considering the pumping property of individual words, we consider the pumping property of pairs of words. The latter approach seems more natural to the DCFLs (LR(1) languages). The pumping lemma introduced in this paper also appears to be easier to understand and use. We conjecture that there exist languages that can be shown not to be DCFLs by this new result but cannot be shown by the existing one. In Section 1, we introduce the basic notations used in this paper. In Section 2, we state our pumping lemma (without a proof) and show two applications of the lemma. In Section 3, a left-part theorem for LR ( k ) grammars is introduced, which is crucial to the proof of the pumping lemma and interesting on its own right. In the last section, we prove the lemma and extend it to an iteration theorem.
206058077
Synchronization Expressions with Extended Join Operation
Synchronization expressions are high level constructs used for specifying minimal synchronization constraints of parallel processes. Their semantics is defined by the corresponding synchronization language. The original definition of synchronization expressions [12, 13] forces the languages to be closed under rewriting rules that, for instance, do not preserve regularity. Here we propose an extension of the syntactic definition of synchronization expressions, and an appropriate modification of their semantics. The extended definition has the advantage that it allows us to eliminate the less well motivated transformations (rewriting rules) describing properties of synchronization languages. We show that the modified rewriting rules preserve regularity of the languages. Also, we obtain a characterization of finite synchronization languages as the family consisting of languages satisfying the start-termination property and closed under three types of simple rewriting rules.
27445105
Minimal cover-automata for finite languages
Abstract A cover-automaton A of a finite language L⊆Σ ∗ is a finite deterministic automaton (DFA) that accepts all words in L and possibly other words that are longer than any word in L . A minimal deterministic finite cover automaton (DFCA) of a finite language L usually has a smaller size than a minimal DFA that accept L . Thus, cover automata can be used to reduce the size of the representations of finite languages in practice. In this paper, we describe an efficient algorithm that, for a given DFA accepting a finite language, constructs a minimal deterministic finite cover-automaton of the language. We also give algorithms for the boolean operations on deterministic cover automata, i.e., on the finite languages they represent.
5352244
Minimal Cover-Automata for Finite Languages
A cover-automaton A of a finite language L ⊆ Σ * is a finite automaton that accepts all words in L and possibly other words that are longer than any word in L. A minimal deterministic cover automaton of a finite language L usually has a smaller size than a minimal DFA that accept L. Thus, cover automata can be used to reduce the size of the representations of finite languages in practice. In this paper, we describe an efficient algorithm that, for a given DFA accepting a finite language, constructs a minimal deterministic finite cover- automaton of the language. We also give algorithms for the boolean operations on deterministic cover automata, i.e., on the finite languages they represent.
14075162
Synchronization Expressions: Characterization Results and Implementation
Synchronization expressions are defined as restricted regular expressions that specify synchronization constraints between parallel processes and their semantics is defined using the synchronization languages. In this paper we survey results on synchronization languages, in particular, various approaches to obtain a characterization of this language family using closure under a set of rewriting rules. Also, we discuss the use and implementation of synchronization expressions in a programming language designed for a parallel or distributed computing environment.
14253919
Object-Specific Figure-Ground Segregation
We consider the problem of segmenting an image into foreground and background, with foreground containing solely objects of interest known a priori. We propose an integration model that incorporates both edge detection and object part detection results. It consists of two parallel processes: low-level pixel grouping and high-level patch grouping. We seek a solution that optimizes a joint grouping criterion in a reduced space enforced by grouping correspondence between pixels and patches. Using spectral graph partitioning, we show that a near global optimum can be found by solving a constrained eigenvalue problem. We report promising experimental results on a dataset of 15 objects under clutter and occlusion.
26537173
PET Studies of the Effects of ECT on Cerebral Physiology
ECT is a remarkably effective treatment for major depressive disorder [MDD]. Neuroimaging studies of rCBF and rCMR are helpful in addressing mechanisms of therapeutic effects. We have reported that reductions in rCBF in prefrontal regions are associated with positive response to ECT[1], and that a course of bilateral ECT is associated with marked reduction in prefrontal rCMR[2]. We now report on a new study of patients receiving ECT for MDD. This study provides the first comparison of the relative acute effects of seizures on both rCBF and rCMR.
1394662
Dirichlet Enhanced Latent Semantic Analysis
This paper describes nonparametric Bayesian treatments for analyzing records containing occurrences of items. The introduced model retains the strength of previous approaches that explore the latent factors of each record (e.g. topics of documents), and further uncovers the clustering structure of records, which reflects the statistical dependencies of the latent factors. The nonparametric model induced by a Dirichlet process (DP) flexibly adapts model complexity to reveal the clustering structure of the data. To avoid the problems of dealing with infinite dimensions, we further replace the DP prior by a simpler alternative, namely Dirichlet-multinomial allocation (DMA), which maintains the main modelling properties of the DP. Instead of relying on Markov chain Monte Carlo (MCMC) for inference, this paper applies efficient variational inference based on DMA. The proposed approach yields encouraging empirical results on both a toy problem and text data. The results show that the proposed algorithm uncovers not only the latent factors, but also the clustering structure.
3164237
Multi-output regularized projection
Dimensionality reduction via feature projection has been widely used in pattern recognition and machine learning. It is often beneficial to derive the projections not only based on the inputs but also on the target values in the training data set. This is of particular importance in predicting multivariate or structured outputs which is an area of growing interest. In this paper we introduce a novel projection framework which is sensitive to both input features and outputs. Based on the derived features prediction accuracy can be greatly improved. We validate our approach in two applications. The first is to model users' preferences on a set of paintings. The second application is concerned with image categorization where each image may belong to multiple categories. The proposed algorithm produces very encouraging results in both settings.
2791772
Segmentation induced by scale invariance
Perceptual organization is scale-invariant. In turn, a segmentation that separates features consistently at all scales is the desired one that reveals the underlying structural organization of an image. Addressing cross-scale correspondence with interior pixels, we develop this intuition into a general segmenter that handles texture and illusory contours through edges entirely without any explicit characterization of texture or curvilinearity. Experimental results demonstrate that our method not only performs on par with either texture segmentation or boundary completion methods on their specialized examples, but also works well on a variety of real images.