发布求助
文献互助 智能选刊 最新文献

Proceedings 1999 IEEE Symposium on Visual Languages最新文献

筛选
英文 中文
Formalising pragmatic features of graph-based notations 形式化基于图的符号的实用特性
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795907
C. Gurr, Konstantinos Tourlas
{"title":"Formalising pragmatic features of graph-based notations","authors":"C. Gurr, Konstantinos Tourlas","doi":"10.1109/VL.1999.795907","DOIUrl":"https://doi.org/10.1109/VL.1999.795907","url":null,"abstract":"Graph-based notations form a significant subclass of visual languages. Studies of the use of such notations in practice have shown that users often employ pragmatic aspects, such as layout, to capture important domain information. Moreover this pragmatic information can support and guide reasoning over such representations. However, typical formalisations of graph-based notations often pay scant regard to such pragmatic considerations. This paper highlights an algebraic account of graph-based notations which is sensitive to relevant layout information. We illustrate, with examples taken from software engineering practice, how this algebra both captures pragmatic aspects of graphs and supports direct reasoning over their structure.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124274154","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}
引用次数: 4
Visual graphs 视觉图形
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795883
Martin Erwig
{"title":"Visual graphs","authors":"Martin Erwig","doi":"10.1109/VL.1999.795883","DOIUrl":"https://doi.org/10.1109/VL.1999.795883","url":null,"abstract":"The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulations could be performed in a visual way. We introduce visual graphs to support this goal. In a visual graph, some nodes are shown as geometric figures, and some edges are represented by geometric relationships between these figures. We investigate mappings between visual and abstract graphs and show their application in semantics definitions for visual languages and in formal manipulations of visual programs.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121369910","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}
引用次数: 11
Does metaphor increase visual language usability? 隐喻会增加视觉语言的可用性吗?
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795910
A. Blackwell, T. Green
{"title":"Does metaphor increase visual language usability?","authors":"A. Blackwell, T. Green","doi":"10.1109/VL.1999.795910","DOIUrl":"https://doi.org/10.1109/VL.1999.795910","url":null,"abstract":"Previous research suggests that the graphical metaphor should increase the usability of visual programming languages (VPLs) by providing an instructional aid when learning to use the language. This paper describes three experiments which manipulated the degree of metaphor in VPLs. In the first, an implicit pictorial metaphor was added to a data flow language, while in the second and third an explicit explanatory metaphor was provided for diagrams showing computational concepts. In both cases, the performance of novices was compared to that of expert programmers, in order to judge the improvement in usability that might result from this instructional device. The resulting benefits of metaphor were smaller than expected especially relative to the advantage of experience. This suggests that metaphor may not be an essential component in the usability of VPLs.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126021351","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}
引用次数: 55
Solving the spaghetti plate syndrome in a control-flow language with a VLSI-like solution 用类似vlsi的解决方案在控制流语言中解决意大利面盘综合症
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795902
B. Ibrahim, Hidenori Yoshizumi
{"title":"Solving the spaghetti plate syndrome in a control-flow language with a VLSI-like solution","authors":"B. Ibrahim, Hidenori Yoshizumi","doi":"10.1109/VL.1999.795902","DOIUrl":"https://doi.org/10.1109/VL.1999.795902","url":null,"abstract":"Control-flow visual languages are often criticized as generating diagrams that look like a spaghetti plate. In this paper, we describe a solution we implemented to manage the visual complexity of control-flow diagrams with a very large number of nodes. Our solution is based on subdividing the display window into a sort of grid, with some areas where mostly nodes are displayed and other areas where mostly edges are displayed.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115216421","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}
引用次数: 7
An historical account of indexical images : from ancient art to the Web 索引图像的历史记录:从古代艺术到网络
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795881
P. Codognet
{"title":"An historical account of indexical images : from ancient art to the Web","authors":"P. Codognet","doi":"10.1109/VL.1999.795881","DOIUrl":"https://doi.org/10.1109/VL.1999.795881","url":null,"abstract":"We develop an analysis of visual knowledge and the use of pictures in electronic communication. We focus in particular on indexical images, which are at work in our current practice of navigation in multimedia documents and the World Wide Web. For this purpose, we base our study, on the one hand, on semiotics, the core concepts of which were introduced by C.S. Peirce at the beginning of the 20th Century; and, on the other hand, on a more classical historical analysis, in order to point out the deep roots of the notions used in contemporary computer communication. We therefore retrace the history of the 'universal computer language', and link it to that of the 'universal language of images', which has a long tradition in the history of ideas, going back to Cicero's 'Art of Memory' in antiquity and various other mediaeval and Renaissance curiosities.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"39 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116733877","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}
引用次数: 4
A visual language for Internet-based data mining and data visualisation 一种基于internet的数据挖掘和数据可视化的可视化语言
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795876
Jaturon Chattratichat, Yike Guo, J. Syed
{"title":"A visual language for Internet-based data mining and data visualisation","authors":"Jaturon Chattratichat, Yike Guo, J. Syed","doi":"10.1109/VL.1999.795876","DOIUrl":"https://doi.org/10.1109/VL.1999.795876","url":null,"abstract":"This paper describes a novel application of enhanced visual programming and visualisation techniques to support data mining processes on the Internet. While the idea of using visual languages to support data mining has been proven to be useful, the usability of existing implementations has been limited Here, we consider the issue of usability of data mining via the Internet. We also present \"interactive visual programming\", a method which automates the construction of a visual program through a direct manipulation interface and visualisation. We also illustrate new techniques for data and model visualisation that can aid the understanding of data and models.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130410488","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}
引用次数: 3
INVENTION: a study of counterpoint structure description 发明:对位结构描述的研究
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795905
Ryotaro Suzuki, Y. Iwadate
{"title":"INVENTION: a study of counterpoint structure description","authors":"Ryotaro Suzuki, Y. Iwadate","doi":"10.1109/VL.1999.795905","DOIUrl":"https://doi.org/10.1109/VL.1999.795905","url":null,"abstract":"We propose a multimedia script language named \"Meta Script\" which describes the structures of movies based on the counterpoint theory in music. As a case study, we describe a structure of Bach's \"3 Part Invention No. 4\" with Meta Script, and produce a movie according to the script. From this experiment we confirm that Meta Script works well as a counterpoint structure description language for image expression in movies.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126414654","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}
引用次数: 2
Formalizing spider diagrams 形式化蜘蛛图
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795884
J. Gil, J. Howse, S. Kent
{"title":"Formalizing spider diagrams","authors":"J. Gil, J. Howse, S. Kent","doi":"10.1109/VL.1999.795884","DOIUrl":"https://doi.org/10.1109/VL.1999.795884","url":null,"abstract":"Geared to complement UML and the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive Venn diagrams and Euler circles. The language design emphasizes scalability and expressiveness while retaining intuitiveness. In this paper, we describe spider diagrams from a mathematical standpoint and show how their formal semantics can be made in terms of logical expressions. We also claim that all spider diagrams are self-consistent.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130981607","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}
引用次数: 72
Smooth animation of algorithms in a declarative framework 在声明性框架中平滑的算法动画
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795914
C. Demetrescu, Irene Finocchi
{"title":"Smooth animation of algorithms in a declarative framework","authors":"C. Demetrescu, Irene Finocchi","doi":"10.1109/VL.1999.795914","DOIUrl":"https://doi.org/10.1109/VL.1999.795914","url":null,"abstract":"Supporting smooth image transitions is a valuable feature in software visualization systems, but it seems difficult to achieve in declarative frameworks, as they are basically data (and not event) driven. This paper discusses the problem of specifying an animated behavior of graphical objects in a declarative style, addressing both automation and customization possibilities. In particular in our framework graphical objects are able to automatically get animated when they appear onto a scene, when they change and, at last, when they disappear. Moreover animations can be customized by means of declarations encoded in a logic-based language. The framework offers basic libraries of default behaviors that the user can choose from, and methods for specifying new behaviors are also supported by the language.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122496526","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}
引用次数: 25
Visual specification of spatio-temporal developments 时空发展的视觉规范
Proceedings 1999 IEEE Symposium on Visual Languages Pub Date : 1999-09-13 DOI: 10.1109/VL.1999.795895
Martin Erwig, Markus Schneider
{"title":"Visual specification of spatio-temporal developments","authors":"Martin Erwig, Markus Schneider","doi":"10.1109/VL.1999.795895","DOIUrl":"https://doi.org/10.1109/VL.1999.795895","url":null,"abstract":"We introduce a visual language for the specification of temporally changing spatial situations. The main idea is to represent spatio-temporal (ST) objects in a two-dimensional way by their trace. The intersections of these traces with other objects are interpreted and translated into sequences of spatial and spatio-temporal predicates, called developments, that can then be used, for example, to query spatiotemporal databases.","PeriodicalId":113128,"journal":{"name":"Proceedings 1999 IEEE Symposium on Visual Languages","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121644102","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}
引用次数: 19
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信