In this paper we continue our geometric study of Harvey’s Complex of Curves [12], a finite dimensional and locally infinite complex C(S) associated to a surface S, which admits an action by the mapping class group Mod(S). The geometry and combinatorics of C(S) can be applied to study grouptheoretic properties of Mod(S), and the geometry of Kleinian representations of π1(S). In [19] we showed th...

The generalized steiner tree problem (GSTP) is a variant of the classical Steiner tree problem (STP), in which a family of node clusters is given and the tree must span at one node for each cluster. This note introduces a lifting procedure for obtaining polyhedral information on GSTP from polyhedral results of STP. New classes of facet-de ning inequalities are presented. ? 2000 Elsevier Science...

Planning problems deal with finding a sequence of actions that transfer the initial state of the world into a desired state. Frequently such problems are solved by dedicated algorithms but there exist planners based on translating the planning problem into a different formalism such as constraint satisfaction or Boolean satisfiability and using a general solver for this formalism. This paper de...

This paper produces a person authentication system using learned lifting dyadic wavelet filters. Our system has the capability of identifying persons whose facial image is changed the size and angle of an original image. The learning algorithm is done by training free parameters in the lifting filters so as to maximize the cosine between a vector whose components are the lifting filters and a v...

In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quincunx segmentation. The traditional spatial domain multiple description image coding techniques usually result in the very low coding efficiency. To tackle this problem, we propose a directional lifting technique to ext...

Multirate systems are encountered when some signals of interest are sampled at a di erent rate than others. For example, in the process industry, composition measurements in distillation columns are typically sampled at a slower rate than temperatures and ow rates. In the context of closed-loop control, such multirate systems pose a challenging problem due to several reasons such as increased c...

The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of this approach is that the operations associated to the pre-existing monad need to be lifted to the new monad. In a companion paper by Jaskelioff, the lifting problem has been addressed in the setting of system Fω. Her...

The problem of constructing CM invariants of higher dimensional abelian varieties presents significant new challenges relative to CM constructions in dimension 1. Algorithms for p-adic canonical lifts give rise to very efficient means of constructing high-precision approximations to CM points on moduli spaces of abelian varieties. In particular, algorithms for 2-adic and 3-adic lifting of Frobe...

Since modeling of real plants inevitably gives rise to modeling errors regarded as uncertainties, considering robustness for the uncertainties is important in actual control problems. For tackling issues of analyzing robust stability of closed-loop systems in a less conservative fashion, the μ-analysis method is known to be effective. As an alternative approach to robust stability analysis, on ...