Sciweavers

1907 search results - page 82 / 382
» Visualizing Action Semantics
Sort
View
HCI
2009
13 years 6 months ago
Models of Culture for Virtual Human Conversation
In this paper, we survey different types of Models of culture for virtual humans. Virtual humans are artificial agents that include both a visual human-like body and intelligent co...
David R. Traum
BDA
2007
13 years 10 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...
SERVICES
2010
105views more  SERVICES 2010»
13 years 10 months ago
Scientific Workflow Development Using Both Visual and Script-Based Representation
In this paper we propose to achieve a semantic equivalence between a visual- and a script-based workflow development paradigm. We accomplish this by building a script language whi...
Ketan Maheshwari, Johan Montagnat
INFOVIS
1995
IEEE
14 years 19 days ago
SDM: malleable information graphics
SelectiveDynamic Manipulation (SDM) is a paradigm for interacting with objects in visualizations, Its methodsoffer a high degree of selectivity, in choosing object sets, in the se...
Mei C. Chuah, Steven F. Roth, Joe Mattis, John Kol...
ESOP
1992
Springer
14 years 1 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg