Sciweavers

13 search results - page 2 / 3
» Bidirectional interpretation of XQuery
Sort
View
TCOM
2010
117views more  TCOM 2010»
13 years 3 months ago
Optimal Coding Strategies for Bidirectional Broadcast Channels Under Channel Uncertainty
Bidirectional relaying is a promising approach to improve the performance in wireless networks such as sensor, ad-hoc, and even cellular systems. Bidirectional relaying applies to...
Rafael F. Wyrembelski, Igor Bjelakovic, Tobias J. ...
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 4 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning
TARK
2007
Springer
13 years 10 months ago
Explaining quantity implicatures
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
Tikitu de Jager, Robert van Rooij
JOLLI
2008
103views more  JOLLI 2008»
13 years 4 months ago
Age Differences in Adults' Use of Referring Expressions
The aim of this article is to investigate whether choosing the appropriate referring expression requires taking into account the hearer's perspective, as is predicted under so...
Petra Hendriks, Christina Englert, Ellis Wubs, Joh...
AAAI
1998
13 years 6 months ago
The Role of Data Reprocessing in Complex Acoustic Environments
The Integrated Processing and Understanding of Signals (IPUS) architecture is a general blackboard framework for structuring bidirectional interaction between front-end signal pro...
Frank Klassner, Victor R. Lesser, Hamid Nawab