We present two new transformation techniques for proving termination of context-sensitive rewriting. Our rst method is simple, sound, and more powerful than previously suggested transformations. However, it is not complete, i.e., there are terminating context-sensitive rewrite systems that are transformed into non-terminating term rewrite systems. The second method that we present in this paper...

The talk includes: ¯ a brief survey of the literature on descriptive complexity results; this journey takes us from regular to context-sensitive languages, ¯ a brief survey of the complexity of (realistic) linguistic formalisms; this journey takes us from context-sensitive grammars to fragments of richer grammars, ¯ a discussion of generative and model-theoretic means to arrive at more adequate...

In this paper, a unified trajectory model based on the stylization and the modelling of f0 variations simultaneously over various temporal domains is proposed. The syllable is used as the minimal temporal domain for the description of speech prosody, and short-term and long-term f0 variations are stylized and modelled simultaneously over various temporal domains. During the training, a context-...

This paper addresses an interesting array of facts about Chinese common nouns in some detail. For example, Chinese common nouns, in their bare forms, often stand alone at argument positions, display a variety of context-sensitive interpretations, never combine with numerals without an intervening classifier, and combine with a plurality marker in a highly selective way. It is argued that this w...

This paper presents a method of solving planning problems that involve actions whose effects change according to the situations in which they are performed. The approach is an extension of the conventional planning methodology in which plans are constructed iteratively by scanning for goals that are not yet satisfied, inserting actions to achieve them, and introducing additional subgoals to be ...

We consider the problem of designing locality sensitive hashes (LSH) for inner product similarity, and of the power of asymmetric hashes in this context. Shrivastava and Li (2014a) argue that there is no symmetric LSH for the problem and propose an asymmetric LSH based on different mappings for query and database points. However, we show there does exist a simple symmetric LSH that enjoys stron...

Recent advances in far-field optical nanoscopy have enabled fluorescence imaging with a spatial resolution of 20 to 50 nanometers. Multicolor super-resolution imaging, however, remains a challenging task. Here, we introduce a family of photo-switchable fluorescent probes and demonstrate multicolor stochastic optical reconstruction microscopy (STORM). Each probe consists of a photo-switchable "r...

A topos of presheaves can be seen as an extension of classical set theory, where sets vary over informational states, therefore it is a powerful and expressive mathematical framework. I introduce a suitable topos of presheaves where imprecise probabilities and imprecise probabilistic reasoning can be represented. In this way we obtain a mathematical definition of imprecise-probabilistic sets. A...

Controlling access to resources is one of the most important protection goals for web-based services in practice. In general, access control requires identification of subjects that intend to use resources. Today, there are several identification mechanisms for subjects, providing different security levels. However, some of them are only suitable to be used in specific environments. In this pap...

Text Segmentation is one of the critical and vital step in OCR system of any language because accuracy of OCR depends upon correctly segmented characters. Segmentation divide the text images into its constituent parts (i.e. lines, components or words and individual characters). As Urdu and Arabic are highly cursive and context sensitive in nature and have improper space between words therefore,...