scholarly journals A Model and Software System for Coordinated and Multiple Views in Exploratory Visualization

2003 ◽  
Vol 2 (4) ◽  
pp. 258-269 ◽  
Author(s):  
Nadia Boukhelifa ◽  
Peter J. Rodgers
Keyword(s):  
Abstract Objects ◽  
Software System ◽  
Multiple Views ◽  
Formal Approach ◽  
Prototype Implementation ◽  
Multiple View ◽  
Dataflow Model ◽  
Visualization Systems

This paper describes a model for expressing coordination in multiple view visualization systems. We present the model and describe a prototype implementation that illustrates the features of the model. Current visualization systems tend to have an informal and inconsistent approach to coordination. Our model takes a formal approach to describing widely used coordination concepts. The model is based on views sharing abstract objects such as the visualization parameters of the dataflow model. Additionaly, this paper describes how current coordinations in exploratory visualization work and how novel coordinations can be constructed using our model.

scholarly journals GEOMETRY AND TEXTURE MEASURES FOR INTERACTIVE VIRTUALIZED REALITY INDOOR MODELER

2015 ◽  
Vol XL-4/W5 ◽  
pp. 43-48 ◽  
Author(s):  
K. Thangamania ◽  
R. Ichikari ◽  
T. Okuma ◽  
T. Ishikawa ◽  
T. Kurata
Keyword(s):  
Affine Transformation ◽  
Indoor Environment ◽  
Texture Mapping ◽  
Labor Cost ◽  
Single Image ◽  
Prototype Implementation ◽  
Affine Transform ◽  
Multiple View ◽  
Shape From Texture

This paper discusses the algorithm to detect the distorted textures in the virtualized reality indoor models and automatically generate the necessary 3D planes to hold the undistorted textures. Virtualized reality (VR) interactive indoor modeler, our previous contribution enables the user to interactively create their desired indoor VR model from a single 2D image. The interactive modeler uses the projective texture mapping for mapping the textures over the manually created 3D planes. If the user has not created the necessary 3D planes, then the texture that belong to various objects are projected to the available 3D planes, which leads to the presence of distorted textures. In this paper, those distorted textures are detected automatically by the suitable principles from the shape from texture research. The texture distortion features such as the slant, tilt and the curvature parameters are calculated from the 2D image by means of affine transformation measured between the neighboring texture patches within the single image. This kind of affine transform calculation from a single image is useful in the case of deficient multiple view images. The usage of superpixels in clustering the textures corresponding to different objects, reduces the modeling labor cost. A standby database also stores the repeated basic textures that are found in the indoor model, and provides texture choices for the distorted floor, wall and other regions. Finally, this paper documents the prototype implementation and experiments with the automatic 3D plane creation and distortion detection with the above mentioned principles in the virtualized reality indoor environment.

Concepts and Strategies for Quality of Modeling

2010 ◽  
pp. 167-189
Author(s):  
Patrick van Bommel ◽  
Stijn Hoppenbrouwers ◽  
Erik Proper ◽  
Jeroen Roelofs
Keyword(s):  
Proof Of Concept ◽  
Formal Approach ◽  
Prototype Implementation ◽  
Process Oriented ◽  
Formal Rules

A process-oriented framework (QoMo) is presented that aims to further the study of analysis and support of processes for modeling. The framework is strongly goal-oriented, and expressed largely by means of formal rules. The concepts in the framework are partly derived from the SEQUAL framework for quality of modelling. A number of modelling goal categories is discussed in view of SEQUAL/QoMo, as well as a formal approach to the description of strategies to help achieve those goals. Finally, a prototype implementation of the framework is presented as an illustration and proof of concept.

Specifying Coherent Refactoring Software Artefacts with Distributed Graph Transformations

2011 ◽  
pp. 95-126 ◽  
Author(s):  
Paolo Bottoni ◽  
Francesco Parisi-Presicce ◽  
Gabriele Taentzer
Keyword(s):  
Internal Structure ◽  
Graph Transformation ◽  
Software System ◽  
Input Output ◽  
Formal Approach ◽  
Computing Process ◽  
Graph Transformations ◽  
State Changes ◽  
Uml Diagrams ◽  
Refactoring Tools

This chapter discusses the use of Graph Transformations for refactoring. Refactoring changes the internal structure of a software system, while preserving its behavior. Even though the input/output view of a system’s behavior does not change, refactoring can have several consequences for the computing process, as expressed for instance by the sequence of method calls or by state changes of an object or an activity. Such modifications must be reflected in the system model, generally expressed through UML diagrams. We propose a formal approach, based on distributed graph transformation, to the coordinated evolution of code and model, as effect of refactorings. The approach can be integrated into existing refactoring tools. Due to its formal background, it makes it possible to reason about the behavior preservation of each specified refactoring.

A theory of Semantics Based on Old Arabic

2007 ◽  
pp. 176-210 ◽  
Author(s):  
Tom Adi
Keyword(s):  
Text Analysis ◽  
Universal Theory ◽  
The Internet ◽  
Abstract Objects ◽  
Cognitive Tools ◽  
Software System ◽  
Word Meanings ◽  
Automated Learning ◽  
Element Set

In this chapter, we show how we derived a universal theory of semantics. Then we discuss the discovery’s impact on automated learning and text analysis. Using induction, we derive general principles from some observations on word meanings in Old Arabic passages called muhkam. Muhkam means that the meaning is made perfectly clear. We find that the 32 sounds of Arabic are signs that refer to abstract objects generated from two symmetry pairs and a three-element set. We show that word roots are structured signs referring to structured abstract objects. Arabic roots and their interpretations and reinterpretations form an abstract set of concepts that can be used as cognitive tools over which any language can render reality. We realized this in a software system we called Readware which performs automated text exploration and analysis in English, German and French, on and off the internet.

Formal Approach to Enhance the Reliability of Embedded Software System

2014 ◽  
Vol 568-570 ◽  
pp. 1451-1454
Author(s):  
Hai He Shi ◽  
Hai Peng Shi
Keyword(s):  
Formal Method ◽  
Embedded Software ◽  
Software Systems ◽  
Software System ◽  
Product Reliability ◽  
High Demand ◽  
Formal Approach

Software formal method is a mathematics-based technique for the specification, development and verification of software systems, and has been viewed as an important way to guarantee the reliability of final product. Reliability of Algorithms in embedded software system is in high demand. The paper introduces an algorithm formal approach suitable to the development of embedded software that will enhance its reliability, and as a case study an algorithm has been formally developed.

God and Abstract Objects

2019 ◽  
Author(s):  
Einar Duenger Bøhn
Keyword(s):  
Abstract Objects
Sign in / Sign up

Export Citation Format

Share Document