暂无分享,去创建一个
[1] W. V. Quine,et al. Predicate functors revisited , 1981, Journal of Symbolic Logic.
[2] Quentin Stafford-Fraser,et al. BrightBoard: a video-augmented environment , 1996, CHI '96.
[3] Peter Rodgers,et al. Wellformedness Properties in Euler Diagrams: Which Should Be Used? , 2012, IEEE Transactions on Visualization and Computer Graphics.
[4] Richard Noss,et al. Mathematics in the university education of engineers: a report to the Ove Arup Foundation , 2003 .
[5] Bruce MacDonald,et al. Sketch-based robot programming , 2010, 2010 25th International Conference of Image and Vision Computing New Zealand.
[6] T. Hammond,et al. Enabling instructors to develop sketch recognition applications for the classroom , 2007, 2007 37th Annual Frontiers In Education Conference - Global Engineering: Knowledge Without Borders, Opportunities Without Passports.
[7] Michele Risi,et al. Sketch Grammars: a formalism for describing and recognizing diagrammatic sketch languages , 2005, Eighth International Conference on Document Analysis and Recognition (ICDAR'05).
[8] Jean Vanderdonckt,et al. Cross-Domain Diagram Sketch Recognition , 2008 .
[9] W. V. Quine. Predicate-Functor Logics(*) , 1971 .
[10] Corin A. Gurr,et al. Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues , 1999, J. Vis. Lang. Comput..
[11] Leland Wilkinson,et al. Exact and Approximate Area-Proportional Circular Venn and Euler Diagrams , 2012, IEEE Transactions on Visualization and Computer Graphics.
[12] John Bacon,et al. The completeness of a predicate-functor logic , 1985, Journal of Symbolic Logic.
[13] Wei-Yin Loh,et al. Classification and regression trees , 2011, WIREs Data Mining Knowl. Discov..
[14] Peter C.-H. Cheng,et al. Electrifying diagrams for learning: principles for complex representational systems , 2002, Cogn. Sci..
[15] Howard Wainer,et al. Visual Revelations: Graphical Tales of Fate and Deception from Napoleon Bonaparte to Ross Perot , 1997 .
[16] Anne Treisman,et al. Preattentive processing in vision , 1985, Computer Vision Graphics and Image Processing.
[17] Helen C. Purchase,et al. Which Aesthetic has the Greatest Effect on Human Understanding? , 1997, GD.
[18] Ryan Hafen,et al. Generating Synthetic Syndromic-Surveillance Data for Evaluating Visual-Analytics Techniques , 2009, IEEE Computer Graphics and Applications.
[19] Beryl Plimmer,et al. Rata.SSR: Data Mining for Pertinent Stroke Recognizers , 2010, SBIM.
[20] David Harel,et al. On visual formalisms , 1988, CACM.
[21] Tim Dwyer,et al. Untangling Euler Diagrams , 2010, IEEE Transactions on Visualization and Computer Graphics.
[22] Hongfang Liu,et al. BMC Bioinformatics BioMed Central Methodology article VennMaster: Area-proportional Euler diagrams for functional GO , 2008 .
[23] Riccardo Mazza,et al. Introduction to Information Visualisation , 2004 .
[24] David Stuart Robertson,et al. A Visual Syntax for Logic and Logic Programming , 1998, J. Vis. Lang. Comput..
[25] M. Sheelagh T. Carpendale,et al. Follow that sketch: Lifecycles of diagrams and sketches in software development , 2011, 2011 6th International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT).
[26] Beryl Plimmer,et al. Formality in Sketches and Visual Representation: Some Informal Reflections , 2008 .
[27] Jørgen Fischer Nilsson,et al. Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes , 1998, LOPSTR.
[28] VARUN CHANDOLA,et al. Anomaly detection: A survey , 2009, CSUR.