Novices at OpenGL programming often have the difficulty to understand an OpenGL command because of lacking precise 3D visualization of that command. In view of this, this paper presents an augmented reality (AR) envir...
详细信息
ISBN:
(纸本)9780769548432
Novices at OpenGL programming often have the difficulty to understand an OpenGL command because of lacking precise 3D visualization of that command. In view of this, this paper presents an augmented reality (AR) environment focusing on helping the students to learn OpenGL programming in a visual and interactive way. We create a virtual working space based on AR technology where many OpenGL commands can reveal their three-dimensional interpretations in the virtual space. We encoded OpenGL commands into QR Codes and let the system to recognize these QR Codes to achieve the required flexibility. In this system, users can present their QR Codes in a suitable order to create corresponding programming codes so that they can understand these codes in a more friendly approach. By utilizing this system and its visualization capability, we believe that OpenGL learning can become more effective and easy, especially for novices in an introductory OpenGL programming course.
this paper presents a web-based platform for construction and execution of data visualization workflow. the environment enables construction of data visualization workflow withthe visual programming interface and pro...
详细信息
this paper presents a web-based platform for construction and execution of data visualization workflow. the environment enables construction of data visualization workflow withthe visual programming interface and provides the ability of previewing the visualisation workflow result in real-time. the use of visual programming makes the workflow composition faster and its also lowers entry threshold for the process of data visualization. In this paper we discuss the architecture and main building blocks of the data visualization workflow. (C) 2020 the Authors. Published by ELSEVIER B.V. this is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0) Peer-review under responsibility of the scientific committee of the 9thinternational Young Scientist conference on Computational Science
Region-based type systems provide programmer control over memory management without sacrificing type-safety. However, the type systems for region-based languages, such as the ML-Kit or Cyclone, are relatively complica...
详细信息
Region-based type systems provide programmer control over memory management without sacrificing type-safety. However, the type systems for region-based languages, such as the ML-Kit or Cyclone, are relatively complicated, and proving their soundness is non-trivial. this paper shows that the complication is in principle unnecessary. In particular, we show that plain old parametric polymorphism, as found in Haskell, is all that is needed. We substantiate this claim by giving a type- and meaning-preserving translation from a variation of the region calculus of Tofte and Talpin to a monadic variant of System F with region primitives whose types and operations are inspired by (and generalize) the ST monad of Launchbury and Peyton Jones.
In this paper, we describe optimization approaches to possibilistic linear programming problems. Especially, achievement rate approaches are developed. Solution algorithms under a given fuzzy goal and under unknown go...
详细信息
ISBN:
(纸本)0780370783
In this paper, we describe optimization approaches to possibilistic linear programming problems. Especially, achievement rate approaches are developed. Solution algorithms under a given fuzzy goal and under unknown goal are designed based on the relaxation procedure.
In this paper, we present the experiences on the OPRoS component based programming by applying OPRoS to a shooting behavior for a small humanoid robot. We also compare OPRoS withthe conventional robot programming met...
详细信息
ISBN:
(纸本)9781467331104
In this paper, we present the experiences on the OPRoS component based programming by applying OPRoS to a shooting behavior for a small humanoid robot. We also compare OPRoS withthe conventional robot programming method. From the experience and comparison, we expect that user will get some help in choosing the programing methods and the way of programming in OPRoS.
Context-aware applications are vulnerable to errors due to the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. Although usually fault tolerant techn...
详细信息
ISBN:
(纸本)9780769548432;9781467330848
Context-aware applications are vulnerable to errors due to the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. Although usually fault tolerant technologies and software verifications are widely used to prevent and remedy errors, we notice that programming languages used in developing context-aware applications also play important roles in generating less error-prone programs. In this paper we introduce our recent efforts devoted to devising a programming language supporting safety related features and formal semantics for context aware applications.
Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but developing high-quality program generators takes a large eff...
详细信息
ISBN:
(纸本)9781450301541
Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks withthe tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed...
详细信息
ISBN:
(纸本)0780370783
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming withthe uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An example is given showing how a supported Fril rule can be extracted from uncertain Fril relations.
this paper examines four different development models available in the Microsoft NET technology regarding network programming. A discussion of the four models is presented along withthe relative advantages and disadv...
详细信息
ISBN:
(纸本)9789806560536
this paper examines four different development models available in the Microsoft NET technology regarding network programming. A discussion of the four models is presented along withthe relative advantages and disadvantages of each network programming technique.
Motivate students is one of the biggest challenges that teachers have to face, in general and in particular in programming courses. In this article two techniques, aimed at supporting the teaching of programming, are ...
详细信息
ISBN:
(纸本)9789897582394
Motivate students is one of the biggest challenges that teachers have to face, in general and in particular in programming courses. In this article two techniques, aimed at supporting the teaching of programming, are discussed: program animation, and automatic evaluation of programs. Based on the combination of these techniques and their currently available tools, we will describe two possible approaches to increase motivation and improve the success. the conclusions of a first experiment conducted in the classroom will be presented. PEP, a Web-based tool that implements one of the approaches proposed, will be introduced.
暂无评论