We describe a rigorous computer algorithm for attempting to construct an explicit, discretized metric for which a polynomial map f : C → C is expansive on a neighborhood of the Julia set, J . We show construction of such a metric proves the map is hyperbolic. We also examine the question of whether the algorithm can be improved, and the related question of how to build a metric close to euclide...

Manipulation tasks are sequential in nature. Grasp selection approaches that take into account the constraints at each task step are critical, since they allow to both (1) Identify grasps that likely require simple arm motions through the whole task and (2) To discard grasps that, although feasible to achieve at earlier steps, might not be executable at later stages due to goal task constraints...

In this article we consider the possible sets of distances in Polish metric spaces. By a Polish metric space we mean a pair (X, d), where X is a Polish space (a separable, completely-metrizable space) and d is a complete, compatible metric for X. We will consider two aspects. First, we will characterize which sets of reals can be the set of distances in a Polish metric space. We will also obtai...

In this brief note, we prove that every space is a sequence-covering image of a topological sum of convergent sequences. As the application of this result, sequence-covering images of locally compact metric spaces (or, locally separable metric spaces, metric spaces) and sequentially-quotient images of a locally compact metric spaces (or, locally separable metric spaces, metric spaces) are equiv...

in a robust parameter design (rpd) problem, the experimenter is interested to determine the values of con-trol factors such that responses will be robust or insensitive to variability of the noise factors. response sur-face methodology (rsm) is one of the effective methods that can be employed for this purpose. since quality of products or processes is usually evaluated through several quality ...

In this paper a new localization approach combining the metric and topological paradigm is presented. The main idea is to connect local metric maps by means of a global topological map. This allows a compact environment model which does not require global metric consistency and permits both precision and robustness. The method uses a 360 degree laser scanner in order to extract lines for the me...

Using image hierarchies for visual categorization has been shown to have a number of important benefits including a significant gain in efficiency (e.g., logarithmic with the number of categories [11, 18]) or the construction of a more meaningful distance metric for image classification [19] (Fig. 1). However, a critical question still remains unanswered: would structuring data in a hierarchica...

The automated prediction of qualitative attributes such as software complexity is a desirable software engineering goal. A potential technique is to use software metrics as quantitative predictors for these kinds of attributes. We describe a pattern classification method where a large collection of classifiers is presented with randomly selected subsets of software metrics describing modules fr...

SatNav systems are becoming increasingly popular, enabling drivers to locate and drive to their desired destination. With high demand for the features SatNav provides, these applications are now also available in mobile phones. This gives rise to the question of whether the app is usable when installed in a mobile phone. This paper will examine the usability of SatNav apps inside the mobile pho...