Tech Reports
Tech Report kmi-05-06 Abstract
A Complete Axiomatisation of Observation Congruence for Deterministic Time under Maximal Progress
Techreport ID: kmi-05-06
Date: 2005
Author(s): Barry Norton
This report presents a process calculus CaSE, derived from CCS by extension with transitions, labelled in multiple abstract clocks, that are both deterministic and governed by maximal progress. Two open problems in the literature have prevented a complete axiomatisation of the coarsest congruence within weak bisimulation in such a system. The main result contained here is the proof of soundness and completeness of an axiom system with respect to this congruence.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Multimedia and Information Systems is...
We focus on content-based information retrieval over a wide range of data spanning form unstructured text and unlabelled images over spoken documents and music to videos. This encompasses the modelling of human perception of relevance and similarity, the learning from user actions and the up-to-date presentation of information. Currently we are building a research version of an integrated multimedia information retrieval system MIR to be used as a research prototype. We aim for a system that understands the user's information need and successfully links it to the appropriate information sources, be it a report or a TV news clip. This work is guided by the vision that an automated knowledge extraction system ultimately empowers people making efficient use of information sources without the burden of filing data into specialised databases.
Visit the MMIS website
List all Multimedia and Information Systems Projects
Check out these Hot Multimedia and Information Systems Technologies:
List all Multimedia and Information Systems Technologies
