jimburton's diagrams [at least 200 articles] Export

Recent papers added to jimburton's library classified by the tag diagrams. You can also see everyone's diagrams.

	Transforming constraint diagrams [My Copy] In Visual Languages and Logic (20 September 2009), pp. 62-80. by Jim Burton edited by Philip Cox, Andrew Fish, John Howse posted to diagrams constraint-diagrams by jimburton on 2009-09-21 20:16:43 as
	Generating Euler Diagrams from Existing Layouts [My Copy] In Layout of (Software) Engineering Diagrams (September 2008), pp. 16-31. by G. Stapleton, J. Howse, P. Rodgers, L. Zhang posted to diagrams by jimburton on 2009-08-17 13:53:40 as
	Semantic web technologies for ubiquitous computing resource management in smart spaces [My Copy] International Journal of Web Engineering and Technology, Vol. 3, No. 4. (2007), pp. 353-373. by J. Soldatos, K. Stamatis, S. Azololmolky, I. Pandis, L. Polymenakos posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Trend Detection in Folksonomies [My Copy] In Proceedings of the First International Conference on Semantics and Digital Media Technology, Vol. 4306 (2006), pp. 56-70. by A. Hotho, R. Jaschke, C. Schmitz, G. Stumme posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as along with 1 person panisson
	What's new in UML 2 [My Copy] Dr Dobb's Journal (2004) by S. Ambler posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Future trends in hard disk drives [My Copy] Transactions on Magnetics, Vol. 32, No. 3. (1996), pp. 1850-1854. by E. Grochowski, R. Hoyt posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	MediaFinder: an interface for dynamic personal media management with semantic regions [My Copy] In {CHI'03} Extended Abstracts on Human Factors in Computing Systems (2003), pp. 764-765. by H. Kang, B. Shneiderman posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Visual Math: See How Math Makes Sense [My Copy] (2002) by J. Sobanski posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Exploring Large Graphs in 3D Hyperbolic Space [My Copy] Computer Graphics and Applications, Vol. 18, No. 4. (1998), pp. 18-23. by T. Munzner posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Reconfigurable Disc Trees for Visualizing Large Hierarchical Information [My Copy] In Proceedings of the 1998 {IEEE} Symposium on Information Visualization (1998), pp. 19-25. by Chang, Alex posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Visualising a Logic of Dependability Arguments [My Copy] In Proceedings of Visual Languages and Logic, Vol. 274 (2007), pp. 97-109. by C. Gurr posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Constraint Matching for Diagram Design: Qualitative Visual Languages [My Copy] In Proceedings of Theory and Application of Diagrams, Vol. 1889 (2000), pp. 74-88. by O. Lemon, A. Lemon posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Towards Overcoming Deficiencies in Constraint Diagrams [My Copy] In Symposium on Visual Languages and Human-Centric Computing (2007), pp. 33-40. by G. Stapleton, A. Delaney posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Introduction to Switching and Automata Theory [My Copy] (1966) by A. Harrison posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Applied and algorithmic graph theory [My Copy] (1993) by G. Chartrand, O. Ollermann posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Language Proof and Logic [My Copy] (1999) by J. Barwise, J. Etchemendy posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	Untitled [My Copy] (2004) by VisualOCL: Editor plugin for Eclipse posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	OCL 2.0: Implementing the Standard [My Copy] No. 12-03. (2003) by D. Akehurst, P. Linington, O. Patrascoiu posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Box-trees and R-trees with near-optimal query time [My Copy] In Symposium on Computational Geometry (2001), pp. 124-133. by Pankaj K. Agarwal, Mark de Berg, Joachim Gudmundsson, Mikael Hammer, Herman J. Haverkort posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	An Expressive Visual Logic for Software Specification [My Copy] Submitted to LMS Journal of Computation and Mathematics (2007) by G. Stapleton, A. Fish, S. Thompson, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	An experimental Comparison of Diagrammatic and Algebraic Logics [My Copy] In International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 432-434. by D. Winterstein, A. Bundy, C. Gurr, M. Jamnik posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Presto: an experimental architecture for fluid interactive document spaces [My Copy] Transactions on Computer-Human Interaction (1999), pp. 133-161. by P. Dourish, K. Edwards, A. Lamarca, M. Salisbury posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	From Latent Semantics to Spatial Hypertext - An Integrated Approach [My Copy] In Proceedings of the Ninth Conference on Hypertext and Hypermedia (1998), pp. 77-86. by C. Chen, M. Czerwinski posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Data Mountain: Using Spatial Memory for Document Management [My Copy] In Symposium on User Interface Software and Technology (1998), pp. 153-162. by G. Robertson, M. Czerwinski, K. Larson, D. Robbins, D. Thiel, M. van Dantzich posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Classification and categorization: a difference that makes a difference [My Copy] Library Trends, Vol. 52, No. 3. (2004), pp. 515-540. by E. Jacob posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Design guidelines for a user interface component based on Euler diagrams [My Copy] In Proceedings of International Workshop on Euler Diagrams (2005) by R. Dechiara posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Microserfs [My Copy] (1995) by D. Coupland posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Proofs without Words: Exercises in Visual Thinking: v. 1 [My Copy] (1997) by R. Nelson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Untitled [My Copy] (2006) by Reasoning with Diagrams posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Cognitive Science Approaches To Understanding Diagrammatic Representations [My Copy] In Proceedings of 1st International Conference, Diagrams 2000 (2000) by P. Cheng, R. Lowe, M. Scaife posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	First-order logic and star-free sets [My Copy] Journal of Computer and System Sciences, Vol. 32, No. 3. (1986), pp. 393-406. by D. Perrin, J. E. Pin posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Art of Computer Programming, Volume 1: Fundamental Algorithms, Third Edition [My Copy] (1997) by Donald E. Knuth posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Untitled [My Copy] (2006) by Visual Modelling Group posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Hypergraph Isomorphism and Structural Equivalence of Boolean Functions [My Copy] In Proceedings of the thirty first Annual {ACM} Symposium on Theory of Computing (1999), pp. 652-658. by E. Luks posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	Computability and Logic [My Copy] (1974) by G. Boolos, R. Jeffrey posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	R-trees: a dynamic index structure for spatial searching [My Copy] In Proceedings of the {ACM SIGMOD} International Conference on Management of Data (1984), pp. 47-57. by A. Guttman posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Journal of Visual Languages and Computing (available online, 2008) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 spider-diagrams by jimburton on 2009-01-22 17:11:33 as
	Measuring and Reducing Clutter in Euler Diagrams [My Copy] In Proceedings of the First International Workshop on Euler Diagrams, {Euler 2004}, Vol. 134 (2005), pp. 103-126. by C. John posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	The Anti-Mac Interface [My Copy] Vol. 39 (1996), pp. 70-82. by D. Gentner, J. Nielsen posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	A unified classification system for research in the computing disciplines [My Copy] Information Software Technology, Vol. 47, No. 4. (2005), pp. 245-255. by I. Vessey, V. Ramesh, R. L. Glass posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	How do people organize their desktops? [My Copy] In Extended abstracts of the 2004 conference on Human factors and computing systems (2004), pp. 1047-1048. by S. Henderson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	Navigation in hypertext: a critical review of the concept [My Copy] In {INTERACT} 1990 (1990), pp. 587-592. by A. Dillon, J. Richardson, C. Mcknight posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations [My Copy] In Proceedings of the {IEEE} Symposium on Visual Languages, {VL'96} (1996) by B. Shneiderman posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	Why do tagging systems work? [My Copy] In {CHI} 2006: Extended abstracts on Human Factors in Computing Systems (2006), pp. 36-39. by G. W. Furnas, C. Fake, L. Von Ahn, et al.J. Schachter, S. Golder, K. Fox, M. Davis, C. Marlow, M. Naaman posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	Defining Health/Illness: Societal and/or Clinical Medicine? [My Copy] Journal of Physiology and Pharmacology, Vol. 57, No. 4. (2006), pp. 251-262. by L. Neibrój posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	TreeViz: treemap visualization of hierarchically structured information [My Copy] In Proceedings of the {SIGCHI} conference on Human factors in computing systems (1992), pp. 369-370. by B. Johnson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	The complex dynamics of collaborative tagging [My Copy] In Proceedings of the Sixteenth International Conference on World Wide Web {WWW'07} (2007), pp. 211-220. by H. Halpin, V. Robu, H. Shepherd posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	Notes on Logic and Set Theory [My Copy] (1987) by P. Johnstone posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	Diagrams in the Mind and in the World: Relations between Internal and External Visualizations [My Copy] In Proceedings of the Third International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 1-13. by M. Hegarty posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	An ontology-based framework for dynamic resource management in ubiquitous computing environments [My Copy] In Proceedings of the Second International Conference on Embedded Software and Systems (2005), pp. 195-203. by I. Pandis, J. Soldatos, A. Paar, J. Reuter, M. Carras, L. Polymenakos posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/diagrams

Result page: 1 2 3 4 5 Next

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's diagrams [at least 200 articles] Export

jimburton's tags