This article presents an image-processing framework that permits replicating mirror reflection digitally in a natural way. We have adapted a known stereo blending technique to per...
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
Abstract. Grid applications are fragile when changes to service implementations, non-functional properties or communication protocols take place. Moreover, developing Grid applicat...
The photometric sampling method [4] extracts shape and reflectance properties of surfaces (Lambertian,specular,and hybrid)by using multipleillunrinationdirectionsand asingle viewi...
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...