Sciweavers

6794 search results - page 326 / 1359
» Semantics of Visual Languages
Sort
View
CALCO
2009
Springer
190views Mathematics» more  CALCO 2009»
15 years 9 months ago
DBtk: A Toolkit for Directed Bigraphs
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
Giorgio Bacci, Davide Grohmann, Marino Miculan
VL
1999
IEEE
115views Visual Languages» more  VL 1999»
15 years 7 months ago
Virtual Worlds as Metaphors for Web Sites Exploration: Are They Effective?
This work discusses the effectiveness of desktop virtual reality as a metaphor for navigating through information in structured Web sites. The work is based on a model for informa...
Augusto Celentano
VL
1994
IEEE
154views Visual Languages» more  VL 1994»
15 years 7 months ago
Stretch-A-Sketch: a Dynamic Diagrammer
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
Mark D. Gross
ICFP
1998
ACM
15 years 7 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
15 years 9 months ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi