Vehicular networks have become increasingly popular in the research community. Messages in vehicular networks are usually subject to both time and space constraints, and therefore should be disseminated during a speci...
详细信息
The IETF NEMO working group on network mobility is currently standardizing a basic support for moving networks. We need a handoff scheme for achieving the performance transparency during the movement of mobile routers...
详细信息
We propose that double broadcast services can be overlaid over high-speed point-to-point downlink data in a WDM-PON with source-free optical network units (ONUs). In the optical line terminal (OLT), a set of single-dr...
详细信息
This paper presents the design and implementation of the naming mechanism (NAME), a resource discovery and service location approach for Delay/Disruption-Tolerant Network (DTN). First discuss the architecture of NAME ...
详细信息
ISBN:
(纸本)9783319009506
This paper presents the design and implementation of the naming mechanism (NAME), a resource discovery and service location approach for Delay/Disruption-Tolerant Network (DTN). First discuss the architecture of NAME mainly including Name Knowledge Base, Name Dissemination, Name Resolution and Name-based Routing. In the design and implementation of NAME, we introduce the simple name-specifiers to describe name, the name-tree for name storage and the efficient predicate-based routing algorithm. Future work is finally discussed for completing NAME and providing APIs for abundant applications.
Symbolic model checking tries to reduce the state explosion problem by implicit construction of the state space. The major limiting factor is the size of the symbolic representation mostly stored in huge binary decisi...
详细信息
Symbolic model checking tries to reduce the state explosion problem by implicit construction of the state space. The major limiting factor is the size of the symbolic representation mostly stored in huge binary decision diagrams. A new approach to symbolic model checking of Petri nets and related models of computation is presented, outperforming the conventional one and avoiding some of its drawbacks. Our approach is based on a novel, efficient form of representation for multi-valued functions called interval decision diagram (IDD) and the corresponding image computation technique using interval mapping diagrams (IMDs). IDDs and IMDs are introduced, their properties are described, and the feasibility of the new approach is shown with some experimental results.
We investigate link-state advertising in multi-domain networks with dynamic traffic. A novel triggering scheme is proposed to monitor a subset of domain links, and thereby achieve a balance between salability and accu...
详细信息
This paper studies human sensorimotor learning and control using the stochastic robust adaptive dynamic programming (RADP) theory. The obtained result provides a unified framework that can take into account several re...
详细信息
ISBN:
(纸本)9781467384155
This paper studies human sensorimotor learning and control using the stochastic robust adaptive dynamic programming (RADP) theory. The obtained result provides a unified framework that can take into account several recently discovered phenomena, including the active regulation of motor variability, the presence of suboptimal inference, and the model-free learning, and explains how these factors may promote the sensorimotor learning. We apply our learning framework to a model of sensorimotor system, and discover remarkable consistency with different experimental observations. Moreover, a novel feature of the RADP algorithm in our learning framework is that the knowledge of a stabilizing initial control policy is not needed. All these observations further confirm our hypothesis that RADP is a sound computational principle for sensorimotor control.
In order to improve and accelerate the speed of gene selection and classification, an optimal and intelligent method for microarray cancer data is investigated in this paper. Based on new machine learning method theor...
详细信息
Nowadays energy-awareness represents a big challenge for cloud computing infrastructures as the adoption of cloud computing become a certain fact and together with the increasing costs for energy, calls for energy-awa...
详细信息
We propose a low latency hardware-friendly decoding framework for Calderbank-Shor-Steane (CSS) quantum low-density parity-check (QLDPC) codes under the depolarizing noise model. With a given latency constraint, the pr...
详细信息
暂无评论