The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...
Lawrence G. Appelbaum, David V. Smith, Carsten Nic...
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...