منابع مشابه
Interleaving data and effects
The study of programming with and reasoning about inductive datatypes such as lists and trees has benefited from the simple categorical principle of initial algebras. In initial algebra semantics, each inductive datatype is represented by an initial f-algebra for an appropriate functor f. The initial algebra principle then supports the straightforward derivation of definitional principles and p...
متن کاملInterleaving Reasoning and Selection with Semantic Data
The scalability is a crucial topic for practical applications of the Semantic Web, because of the extremely large scale data on the Web. In this paper we propose a general framework of interleaving reasoning and selection with semantic data. The main idea of the interleaving framework is to use some selectors to select only limited and relevant part of data for reasoning, so that the efficiency...
متن کاملEffects of Interleaving on RTP Header Compression
We discuss the use of interleaving as a bandwidth efficient means of protecting audio streams from the effects of packet loss in the Internet. The adverse effects of interleaving on IP/UDP/RTP header compression are noted and a number of schemes which remedy this problem are discussed. Keywords— RTP, Interleaving, Voice-over-IP, header compression.
متن کاملLearning Humanoid Soccer Actions Interleaving Simulated and Real Data
This paper presents an approach for learning complex tasks on real robots, like walking or kicking in a humanoid soccer robot, profiting at most from the possibility to run simulations of a virtual model of the robot. This approach avoids to damage the real robot in the time consuming trials needed to learn a correct behavior and avoids to overfit the virtual robot model. The basic idea is to r...
متن کاملImproving Bluetooth EDR Data Throughput Using FEC and Interleaving
Wireless communication is inherently vulnerable to errors from the dynamic wireless environment. Link layer packets discarded due to these errors impose a serious limitation on the maximum achievable throughput in the wireless channel. To enhance the overall throughput of wireless communication, it is necessary to deploy link layer transmission schemes that is robust to the errors intrinsic to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2015
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796815000209