The Semantic Web, which represents a web of knowledge, offers new opportunities to search for knowledge and information. To harvest such search power requires robust and scalable ...
Methods of retrieving images that incorporate humangenerated metadata, such as keyword annotation and collaborative filtering, are less vulnerable to the semantic gap than content...
The MPEG-4 Face and Body Animation (FBA) specifications aims at standardizing an interchange format for specifying virtual face and body modeling and related animation parameters....
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...