Sciweavers

1672 search results - page 24 / 335
» Interactive Mathematical Documents
Sort
View
COMPOS
1997
Springer
15 years 6 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
IVS
2008
90views more  IVS 2008»
15 years 1 months ago
Jigsaw: supporting investigative analysis through interactive visualization
Investigative analysts who work with collections of text documents connect embedded threads of evidence in order to formulate hypotheses about plans and activities of potential in...
John T. Stasko, Carsten Görg, Zhicheng Liu
CHI
1998
ACM
15 years 6 months ago
From Documents to Discourse: Shifting Conceptions of Scholarly Publishing
mi.open.ac.uk/kmi-abstracts/kmi-tr-50-abstract.html].
Tamara Sumner, Simon Buckingham Shum
HCI
2011
14 years 5 months ago
Acoustic Modeling of Dialogue Elements for Document Accessibility
Pepi Stavropoulou, Dimitris Spiliotopoulos, Georgi...