We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...
Jeffrey Jacobson, Marc Le Renard, Jean-Luc Lugrin,...
Image retargeting is the problem of adapting images for display on devices different than originally intended. This paper presents a method for adapting large images, such as thos...
Real-time three-dimensional ultrasound (RT3D US) is an ideal imaging modality for the diagnosis of cardiac disease. RT3D US is a flexible, inexpensive, non-invasive tool that provi...
Xishi Huang, Nicholas A. Hill, Jing Ren, Gerard Gu...
The paper analyzes both acoustic and linguistic features with different Chinese prosodic boundaries. Then a rule-learning approach was used to do the prosodic boundary labelling. ...