62 search results - page 5 / 13 » A Visual Interactive Framework for Formal Derivation |
ICFEM
2003
Springer
14 years 28 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...
VDA
2010
13 years 10 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we present a joint multimodal (audio, visual and text) framework to map the informational complexity of the media elements to comprehension time. The problem is imp...