In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A...
The current implementation of situation interpretation metrics (SIMs) in context-based reasoning (CxBR) simulations makes it difficult to effectively and efficiently characterize ...
We propose a variational multigrid method for fast 3D interpretation of image sequences, in which a dense depth map and 3D motion are directly recovered from spatiotemporal change...
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...