Mappings between schemas are key elements in several contexts such as data exchange, data integration, peer data management systems, etc. In all these contexts, the process of designing a mapping requires the participation of a mapping designer that needs a way to validate the mapping being defined, i.e., to check whether the mapping is in fact what the designer intended. However, to date very ...

Interpreting metaphors is an integral and inescapable process in human understanding of natural language. Part I of this paper discusses a method of analyzing metaphors based on the existence of a small number of generalized metaphor mappings. Each generalized metaphor contains a recognition network, a basic mapping, additional transfer mappings, and an impiicit intention component. It is argue...

This paper proposes a generic decentralized method for interconnected entities to compute globally coherent sets of mappings with respect to the semantics of ontological specifications and their subjective mapping preferences. This problem is formed as an optimization problem between interdependent agents. Globally coherent sets of mappings are computed by means of a distributed extension of th...

We introduce an iterative method for finding a common element of set of fixed points of nonexpansive mappings, the set of solutions of a finite family of variational inclusion with setvalued maximal monotone mappings and inverse strongly monotone mappings, and the set of solutions of a mixed equilibrium problem in Hilbert spaces. Under suitable conditions, some strong convergence theorems for a...

Periodic orbits of nonlinear mappings are very useful for the study of dynamical systems. In this paper, a new approach for computing periodic orbits through the global minimization of a properly defined objective function, using the Particle Swarm Optimization method, is introduced. Experimental results on wellknown and widely used nonlinear mappings indicate that the algorithm is robust, it i...

In this paper, we extend the results of Inprasit and Wattanataweekul [7] to the class of asymptotically quasi-nonexpansive nonself-mappings in the intermediate sense. We prove some strong convergence theorems for asymptotically quasi-nonexpansive nonself-mappings in the intermediate sense using a three-step iterative method for finding a common element of the set of solutions of a generalized m...

In this paper we introduce some contractive conditions of Meir–Keeler type for two mappings, called f -MK -pair mappings and f -CJM-pair (from Ciric, Jachymski, and Matkowski) mappings, in the framework of regular cone metric spaces and we prove theorems which guarantee the existence and uniqueness of common fixed points. We give also a fixed point result for a multivalued mapping that satisfie...

Tae-Hwa Kim and Hong-Kun Xu [Strong convergence of modified Mann iterations for asymptotically nonexpansive mappings and semigroups, Nonlinear Analysis 64(2006)1140-1152 ] proved the strong convergence theorems of modified Mann iterations for asymptotically nonexpansive mappings and semigroups on bounded subset C of a Hilbert space by the CQ iteration method. The purpose of this paper is to mod...

A novel method for generic visible watermarking with a capability of lossless video recovery is proposed. The method is based on the use of deterministic one-to-one compound mappings of frame pixel values for overlaying a variety of visible watermarks of arbitrary sizes on cover videos. The compound mappings are proved to be reversible, which allows for lossless recovery of original video from ...

Upper ontologies are interesting because describing and representing concepts that can be used across various domains (as opposed to domain ontologies). This feature may enable increased correctness of mappings between domain ontologies, conceptual schema and languages. Unfortunately, there exist various upper ontologies and it is quite difficult to decide or to assess which of them should be u...