137
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
143
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...
146
click to vote
SI3D
2010
ACM
15 years 9 months ago
2010
ACM
We present variance soft shadow mapping (VSSM) for rendering plausible soft shadow in real-time. VSSM is based on the theoretical framework of percentage-closer soft shadows (PCSS...
144
click to vote
SI3D
2010
ACM
15 years 9 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
136
click to vote
SG
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents VEX-CMS, a tool to build 3D virtual museums and exhibitions, architectural walkthroughs and, more generally, applications where 3D and 2D content is presented t...