Search results for "artificial intelligence"
showing 10 items of 6122 documents
Symbolic Reductionist Model for Program Comprehension
2007
This article presents the main features of a novel construction, symbolic analysis, for automatic source code processing. The method is superior to the known methods, because it uses a semiotic, interpretative approach. Its most important processes and characteristics are considered here. We describe symbolic information retrieval and the process of analysis in which it can be used in order to obtain pragmatic information. This, in turn, is useful in understanding a current Java program version when developing a new version.
The S-kernel: A measure of symmetry of objects
2007
In this paper we introduce a new symmetry feature named ''symmetry kernel'' (SK) to support a measure of symmetry. Given any symmetry transform S, SK of a pattern P is the maximal included symmetric sub-set of P for all directions and shifts. We provide a first algorithm to exhibit this kernel where the centre of symmetry is assumed to be the centre of mass. Then we prove that, in any direction, the optimal axis corresponds to the maximal correlation of a pattern with its symmetric version. That leads to a second algorithm. The associated symmetry measure is a modified difference between the respective surfaces of a pattern and its kernel. A series of experiments supports the actual algorit…
Visual Discrimination of the 17 Plane Symmetry Groups
2011
Within most of the 17 plane symmetry groups, individual symmetry operations act in multiple, nonequivalent ways. This, and the fact that many groups can be realized on the basis of different unit cells and generating regions, poses difficulties for visual discrimination and identification. Because of inherent confounds, only few of the groups can be studied by traditional experimental methodology. The use of an oddity paradigm and specific tiling patterns that camouflage groups in complex textures are recommended as partial remedy to this impasse. In order to prepare readers for an appreciation of the aforementioned issues and to provide a rationale for their investigation, the reporting of…
Extensible Visualizations of Ontologies in OWLGrEd
2019
OWLGrEd is a visual editor for OWL 2.0 ontologies that combines UML class diagram notation and textual OWL Manchester syntax for expressions. We review the basic OWLGrEd options for ontology presentation customization and consider the framework of OWLGrEd extensions that enables introducing rich use-case specific functionality to the editor. A number of available OWLGrEd extensions offering rich ontology management features to their end-users are described, as well.
A Hidden Markov Model for Automatic Generation of ER Diagrams from OWL Ontology
2014
Connecting ontological representations and data models is a crucial need in enterprise knowledge management, above all in the case of federated enterprises where corporate ontologies are used to share information coming from different databases. OWL to ERD transformations are a challenging research field in this scenario, due to the loss of expressiveness arising when OWL axioms have to be represented using ERD notation. In this paper we propose an innovative technique for estimating the most likely composition of ERD constructs that correspond to a given sequence of OWL axioms. We model such a process using a Hidden Markov Model (HMM) where the OWL inputs are the observable states, while E…
Graphical Template Language for Transformation Synthesis
2010
Higher-Order Transformations (HOT) have become an important support for the development of model transformations in various transformation languages. Most frequently HOTs are used to synthesize transformations from different kinds of models, for example, mapping models. This means that model driven development (MDD) is being successfully applied to transformations themselves too. The standard HOT solution is to create the transformation as a model using the abstract syntax. However, for graphical transformation languages a significantly more efficient solution would be to create the transformation using its graphical (concrete) syntax. An analogy could be the textual template languages such…
Urban monitoring using multi-temporal SAR and multi-spectral data
2006
In some key operational domains, the joint use of synthetic aperture radar (SAR) and multi-spectral sensors has shown to be a powerful tool for Earth observation. In this paper, we analyze the potentialities of combining interferometric SAR and multi-spectral data for urban area characterization and monitoring. This study is carried out following a standard multi-source processing chain. First, a pre-processing stage is performed taking into account the underlying physics, geometry, and statistical models for the data from each sensor. Second, two different methodologies, one for supervised and another for unsupervised approaches, are followed to obtain features that optimize the urban rela…
Holography and Superresolution
2013
The capability of improving the spatial resolution of imaging systems is usually known as superresolution. Some methods provide improve resolution by playing with the imaging part of the system and without modifying the optical parameters of the imaging lenses. And others act over the geometry, shape and size of sampling pixels in the detection array. The former strategy allows optical superresolution while the latter provide geometrical superresolution. In this contribution, we will review the state of the art in optical superresolution approaches understood as the possibility to overcome the limited resolving power of imaging systems beyond the bounds imposed by Abbe's diffraction theory.…
Combining Defocus and Photoconsistency for Depth Map Estimation in 3D Integral Imaging
2017
This paper presents the application of a depth estimation method for scenes acquired using a Synthetic Aperture Integral Imaging (SAII) technique. SAII is an autostereoscopic technique consisting of an array of cameras that acquires images from different perspectives. The depth estimation method combines a defocus and a correspondence measure. This approach obtains consistent results and shows noticeable improvement in the depth estimation as compared to a minimum variance minimisation strategy, also tested in our scenes. Further improvements are obtained for both methods when they are fed into a regularisation approach that takes into account the depth in the spatial neighbourhood of a pix…
Fuzzy Integral Imaging Camera Calibration for Real Scale 3D Reconstructions
2014
In this paper, we present a quantitative analysis of the error in the reconstruction of a 3D scene which has been captured with Synthetic Aperture Integral Imaging system. The 3D information is obtained from 2D images for which the camera parameters are unknown. The model used for calibrating the Integral Imaging camera setup is based on fuzzy systems. These systems provide the opportunity for modeling of conditions which are inherently imprecisely defined. We demonstrate that the error in the 3D reconstruction not only depends on the number of cameras, but also to their relative positions. Our model is applied to a set of images captured experimentally from a real object. A true-color real…