{"_id":"TTybnzou9LKdS9qr9","bibbaseid":"weaver-conjunctivevisualforms-2009","authorIDs":[],"author_short":["Weaver, C."],"bibdata":{"bibtype":"article","type":"article","title":"Conjunctive Visual Forms","volume":"15","issn":"2160-9306","doi":"10.1109/TVCG.2009.129","abstract":"Visual exploration of multidimensional data is a process of isolating and extracting relationships within and between dimensions. Coordinated multiple view approaches are particularly effective for visual exploration because they support precise expression of heterogeneous multidimensional queries using simple interactions. Recent visual analytics research has made significant progress in identifying and understanding patterns of composed views and coordinations that support fast, flexible, and open-ended data exploration. What is missing is formalization of the space of expressible queries in terms of visual representation and interaction. This paper introduces the conjunctive visual form model in which visual exploration consists of interactively-driven sequences of transitions between visual states that correspond to conjunctive normal forms in boolean logic. The model predicts several new and useful ways to extend the space of rapidly expressible queries through addition of simple interactive capabilities to existing compositional patterns. Two recent related visual tools offer a subset of these capabilities, providing a basis for conjecturing about such extensions.","number":"6","journal":"IEEE Transactions on Visualization and Computer Graphics","author":[{"propositions":[],"lastnames":["Weaver"],"firstnames":["Chris"],"suffixes":[]}],"month":"November","year":"2009","keywords":"WHY - Evaluation of Tools and Systems, HOW: program synthesis, Conjuctive normal form (boolean logic) representation of user interactions, Type of Work: Theory, WHY: ???, ENCODING - Grammar (boolean logic)","pages":"929–936","file":"IEEE Xplore Abstract Record:C\\:\\\\Users\\o̧nny\\\\Zotero\\\\storage\\\\ZRGMYUYZ\\\\5290696.html:text/html","bibtex":"@article{weaver_conjunctive_2009,\n\ttitle = {Conjunctive {Visual} {Forms}},\n\tvolume = {15},\n\tissn = {2160-9306},\n\tdoi = {10.1109/TVCG.2009.129},\n\tabstract = {Visual exploration of multidimensional data is a process of isolating and extracting relationships within and between dimensions. Coordinated multiple view approaches are particularly effective for visual exploration because they support precise expression of heterogeneous multidimensional queries using simple interactions. Recent visual analytics research has made significant progress in identifying and understanding patterns of composed views and coordinations that support fast, flexible, and open-ended data exploration. What is missing is formalization of the space of expressible queries in terms of visual representation and interaction. This paper introduces the conjunctive visual form model in which visual exploration consists of interactively-driven sequences of transitions between visual states that correspond to conjunctive normal forms in boolean logic. The model predicts several new and useful ways to extend the space of rapidly expressible queries through addition of simple interactive capabilities to existing compositional patterns. Two recent related visual tools offer a subset of these capabilities, providing a basis for conjecturing about such extensions.},\n\tnumber = {6},\n\tjournal = {IEEE Transactions on Visualization and Computer Graphics},\n\tauthor = {Weaver, Chris},\n\tmonth = nov,\n\tyear = {2009},\n\tkeywords = {WHY - Evaluation of Tools and Systems, HOW: program synthesis, Conjuctive normal form (boolean logic) representation of user interactions, Type of Work: Theory, WHY: ???, ENCODING - Grammar (boolean logic)},\n\tpages = {929--936},\n\tfile = {IEEE Xplore Abstract Record:C\\:\\\\Users\\\\conny\\\\Zotero\\\\storage\\\\ZRGMYUYZ\\\\5290696.html:text/html}\n}\n\n","author_short":["Weaver, C."],"key":"weaver_conjunctive_2009","id":"weaver_conjunctive_2009","bibbaseid":"weaver-conjunctivevisualforms-2009","role":"author","urls":{},"keyword":["WHY - Evaluation of Tools and Systems","HOW: program synthesis","Conjuctive normal form (boolean logic) representation of user interactions","Type of Work: Theory","WHY: ???","ENCODING - Grammar (boolean logic)"],"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/JKU-ICG/provenance-survey/master/assets/data/main.bib?token=AFMAFPFPO73YUVEBH3EL22C6YQDJU","creationDate":"2020-05-12T16:18:24.967Z","downloads":0,"keywords":["why - evaluation of tools and systems","how: program synthesis","conjuctive normal form (boolean logic) representation of user interactions","type of work: theory","why: ???","encoding - grammar (boolean logic)"],"search_terms":["conjunctive","visual","forms","weaver"],"title":"Conjunctive Visual Forms","year":2009,"dataSources":["iLdxLZjd62Nd3rAFg"]}