We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
Xavier Granier, Michael Goesele, Wolfgang Heidrich...
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...
For better supervising workflow performance, the data elements engaged in workflow execution are classified into application data and process data. Taking advantage of HyperSet and...
Interaction with medical volume data has often been difficult due to the large memory and computational power required. By taking advantage of current high-end graphics hardware, ...
Ching-Yao Lin, David T. Chen, R. Bowen Loftin, Jia...