Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
Blaise Genest, Anca Muscholl, Olivier Serre, Marc ...
The predictive hierarchical level of detail optimization algorithm of Mason and Blake is experimentally evaluated in the form of a practical application to hierarchical radiosity....
Shaun Nirenstein, Edwin H. Blake, Simon Winberg, A...
An OFDM system is very sensitive to orthogonality relation. For a mobile wireless system, it is impossible to avoid Doppler-induced inter carrier interference (ICI). Moreover, whil...
Abstract--Multimedia broadcast over a single frequency network (MBSFN) has attracted a lot of interest recently. This paper is on Golden coded spatial multiplexing MBSFN transmissi...
Markus Konrad, Wolfgang H. Gerstacker, Wolfgang Ko...
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...