Journal of Visual Languages and Sentient Systems最新文献

Edge-based graph grammar: theory and support system 基于边缘的图语法:理论与支持系统

Journal of Visual Languages and Sentient Systems Pub Date : 2018-12-01 DOI: 10.18293/VLSS2018-028

Xiaoqin Zeng, Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang

引用次数: 6

Research Notes: A Logic User-Based Algorithm to Improve Node Distribution in Wireless Sensor Network 研究笔记:一种基于逻辑用户的无线传感器网络节点分布改进算法

Journal of Visual Languages and Sentient Systems Pub Date : 2018-12-01 DOI: 10.18293/VLSS2018-031

W. Balzano, Silvia Stranieri

引用次数: 1

Event-Based Data Input, Modeling and Analysis for Meditation Tracking using TDR System 基于事件的TDR系统冥想跟踪数据输入、建模与分析

Journal of Visual Languages and Sentient Systems Pub Date : 2018-07-01 DOI: 10.18293/SEKE2018-005

Cuiling Chen, Wei Guo, Nannan Wen, Shiyu Chang

引用次数: 1

A toolkit for knot diagram sketching, encoding and re-generation 一个工具包结图素描，编码和重新生成

Journal of Visual Languages and Sentient Systems Pub Date : 2016-11-01 DOI: 10.18293/DMS2016-035

Mattia De Rosa, A. Fish, V. Fuccella, Rafiq Saleh, Sarah Swartwood, G. Costagliola

{"title":"A toolkit for knot diagram sketching, encoding and re-generation","authors":"Mattia De Rosa, A. Fish, V. Fuccella, Rafiq Saleh, Sarah Swartwood, G. Costagliola","doi":"10.18293/DMS2016-035","DOIUrl":"https://doi.org/10.18293/DMS2016-035","url":null,"abstract":"Knots occur in many areas of science and art. The mathematical field of Knot Theory studies an idealised form of knots by viewing them as closed loops in 3-space. They can be formally studied via knot drawings which are well-behaved projections of the knot onto the 2-D plane. Equivalence of knots in 3-space (ambient isotopy) can be encapsulated via sequences of diagram rewriting rules, called Reidemeister moves, but finding such sequences demonstrating isotopy of two knots can be immensely challenging. Whilst there are some sophisticated tools available for some knot theoretic tasks, there is limited (free) tool support for certain knot creation and interaction tasks, which could be useful for lecturers and students within University courses. We present KnotSketch, a tool with multiple functionalities including the ability to: (i) read off a form of Gauss code for a user sketched diagram; (ii) generate a diagram from such a code; (iii) regenerate a knot diagram via a different projection, thereby producing examples of equivalent knot diagrams that may look very different; (iv) interaction capabilities to quickly alter the knot via crossing changes and smooth the curves of the sketched diagram; (v) export facilities to generate svg images of the constructed knots. We evaluate KnotSketch via a case study demonstrating examples of intended usage within an educational setting. Furthermore, we performing a preliminary user study to evaluate the general usability of the tool.","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116286143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints WiSPY:空间完整性约束的可视化规范和验证工具

Journal of Visual Languages and Sentient Systems Pub Date : 2015-09-01 DOI: 10.18293/VLSS2015-018

V. D. Fatto, V. Deufemia, L. Paolino, Sara Tumiati

引用次数: 2

Fast prototyping of visual languages using local context-based specifications 使用基于本地上下文的规范快速构建可视化语言原型

Journal of Visual Languages and Sentient Systems Pub Date : 2015-09-01 DOI: 10.18293/VLSS2015-050

G. Costagliola, Mattia De Rosa, V. Fuccella

引用次数: 0