Sciweavers

502 search results - page 3 / 101
» Visual Formalisms Revisited
Sort
View
UIST
2004
ACM
14 years 1 months ago
Revisiting visual interface programming: creating GUI tools for designers and programmers
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
Stéphane Chatty, Stéphane Sire, Jean...
IJCAI
2001
13 years 9 months ago
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
This paper describes a new method for visualizing complex information spaces as painted images. Scientific visualization converts data into pictures that allow viewers to "se...
Christopher G. Healey
EATCS
1998
250views more  EATCS 1998»
13 years 7 months ago
Human Visual Perception and Kolmogorov Complexity: Revisited
Experiments have shown [2] that we can only memorize images up to a certain complexity level, after which, instead of memorizing the image itself, we, sort of, memorize a probabil...
Vladik Kreinovich, Luc Longpré
VL
1999
IEEE
142views Visual Languages» more  VL 1999»
13 years 12 months ago
Visual Graphs
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 manipulat...
Martin Erwig
VMCAI
2009
Springer
14 years 2 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik