Sciweavers

97 search results - page 10 / 20
» Syntax, Semantics, and Pragmatics of Contexts
Sort
View
ICMCS
2006
IEEE
157views Multimedia» more  ICMCS 2006»
14 years 2 months ago
A Context-Based Error Detection Strategy into H.264/AVC CABAC
Various error control schemes have been addressed in wireless video stream transmission. By combining an adaptive binary arithmetic coding technique with context modeling, CABAC a...
Yang Li, Hongkai Xiong, Li Song, Songyu Yu
SAC
2003
ACM
14 years 1 months ago
Organizational Modeling in UML and XML in the Context of Workflow Systems
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Er...
ASP
2003
Springer
14 years 1 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
TYPES
2007
Springer
14 years 2 months ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo
ARGMAS
2004
Springer
14 years 1 months ago
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...