Sciweavers

84 search results - page 11 / 17
» A graphical approach to monad compositions
Sort
View
VMV
2003
118views Visualization» more  VMV 2003»
13 years 10 months ago
The Inverse Warp: Non-Invasive Integration of Shear-Warp Volume Rendering into Polygon Rendering Pipelines
In this paper, a simple and efficient solution for combining shear-warp volume rendering and the hardware graphics pipeline is presented. The approach applies an inverse warp tra...
Stefan Bruckner, Dieter Schmalstieg, Helwig Hauser...
ENTCS
2010
75views more  ENTCS 2010»
13 years 8 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
CG
2002
Springer
13 years 8 months ago
Visualizing scalar volumetric data with uncertainty
Increasingly, more importance is placed on the uncertainty information of data being displayed. This paper focuses on techniques for visualizing 3D scalar data sets with correspon...
Suzana Djurcilov, Kwansik Kim, Pierre Lermusiaux, ...
GIS
2007
ACM
14 years 9 months ago
High-level web service for 3D building information visualization and analysis
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Benjamin Hagedorn, Jürgen Döllner
IFM
2007
Springer
101views Formal Methods» more  IFM 2007»
14 years 2 months ago
Translating FSP into LOTOS and Networks of Automata
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
Gwen Salaün, Jeff Kramer, Frédé...