Sciweavers

5506 search results - page 548 / 1102
» Visualizing Software Changes
Sort
View
MM
1997
ACM
102views Multimedia» more  MM 1997»
15 years 11 months ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 10 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
RT
2000
Springer
15 years 10 months ago
Soft Shadow Maps for Linear Lights
Soft shadows and penumbra regions generated by extended light sources such as linear and area lights are visual effects that significantly contribute to the realism of a scene. In ...
Wolfgang Heidrich, Stefan Brabec, Hans-Peter Seide...
BCSHCI
2007
15 years 8 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer
DICTA
2003
15 years 8 months ago
Volumetric Medical Imaging Environment
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...
Bobi Gilburd, Michal Holtzman-Gazit, Alon Spira, D...