Sciweavers

1297 search results - page 71 / 260
» Large Model Visualization: Techniques and Applications
Sort
View
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 6 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
RT
2000
Springer
14 years 9 days ago
Interactive Tone Mapping
Tone mapping and visual adaptation are crucial for the generation of static, photorealistic images. A largely unexplored problem is the simulation of adaptation and its changes ove...
Frédo Durand, Julie Dorsey
TMM
2011
169views more  TMM 2011»
13 years 3 months ago
Empowering Visual Categorization With the GPU
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...
Koen E. A. van de Sande, Theo Gevers, Cees G. M. S...
GRAPHICSINTERFACE
2004
13 years 10 months ago
A Hybrid Physical/Device-Space Approach for Spatio-Temporally Coherent Interactive Texture Advection on Curved Surfaces
We propose a novel approach for a dense texture-based visualization of vector fields on curved surfaces. Our texture advection mechanism relies on a Lagrangian particle tracing th...
Daniel Weiskopf, Thomas Ertl
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
13 years 8 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...