Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...