Towards a Unified Framework for Declarative Structured Communications

Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language ...

A Unified Framework for Delay-Sensitive Communications

• Delay sensitive multimedia applications are booming over a variety of time-varying networks (e.g. sensor networks, WiMax, Wireless LAN, etc.) • Existing dynamic distributed network environments cannot provide adequate support for delay-sensitive multimedia applications • This problem has been investigated for a decade, but we still do not have efficient solutions for it.

Towards a Unified Framework

Conversational interfaces have received much attention as a promising natural communication channel between humans and computers. A typical conversational interface consists of three major systems: speech understanding, dialog management and spoken language generation. In such a conversational interface, speech recognition as the front-end of speech understanding remains to be one of the fundam...

Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency

Towards A Unified Framework For Schema Merging

Merging schemas to create a mediated view is a recurring problem in applications related to data interoperability. The task becomes particularly challenging when the schemas are highly heterogeneous and autonomous. Classical data integration systems rely on a mediated schema created by human experts through an intensive design process. Automatic generation of mediated schemas is still a goal to...