Sciweavers

43 search results - page 1 / 9
» Visually Dynamic Presentation of Proofs in Plane Geometry - ...
Sort
View
SI3D
2003
ACM
13 years 9 months ago
Non-invasive interactive visualization of dynamic architectural environments
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
Christopher Niederauer, Mike Houston, Maneesh Agra...
FAC
2010
148views more  FAC 2010»
13 years 2 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe
VISUALIZATION
2000
IEEE
13 years 8 months ago
Shock and vortex visualization using a combined visual/Haptic interface
Specific rendering modes are developed for a combined visual/haptic interface to allow exploration and understanding of fluid dynamics data. The focus is on visualization of sho...
Dale A. Lawrence, Christopher D. Lee, Lucy Y. Pao,...
VIS
2007
IEEE
138views Visualization» more  VIS 2007»
14 years 4 months ago
Two Level Approach to Efficient Visualization of Protein Dynamics
Proteins are highly flexible and large amplitude deformations of their structure, also called slow dynamics, are often decisive to their function. We present a two-level rendering ...
Ove Daae Lampe, Ivan Viola, Nathalie Reuter, He...
IUI
2010
ACM
13 years 10 months ago
Intelligent understanding of handwritten geometry theorem proving
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Z...