Agent programminglanguages based on the Belief, Desire and Intentions (BDI) framework present some interesting challenges for logicians. While BDI logics have been studied extensively, problems related to belief upda...
详细信息
We propose a framework for processing source code support- ing multiple programminglanguages, named UNICOEN. UNICOEN reduces development costs and differences be- tween tool implementations. We evaluated UNICOEN by d...
详细信息
In this paper, the importance sampling (IS) concept is exploited for the first time in the context of maximum likelihood (ML) estimation of both the time delays and angles of arrival (AoAs) in multipath propagation en...
详细信息
ISBN:
(纸本)9781479928941
In this paper, the importance sampling (IS) concept is exploited for the first time in the context of maximum likelihood (ML) estimation of both the time delays and angles of arrival (AoAs) in multipath propagation environments. The global maximum of the compressed likelihood function (CLF) is found empirically with a low computational cost. Simulations suggest that the new IS-based ML-type estimator outperforms, in terms of accuracy, the main state-of-the-art techniques published on the topic. It is also able to reach the Cramer-Rao-lower bound (CRLB) [13] with few received samples.
In this paper, we propose a new signal-to-noise-ratio (SNR) maximum likelihood (ML) estimator over time-varying single-input multiple-output (SIMO) channels, for both data-aided (DA) and non-data-aided (NDA) cases. Un...
详细信息
ISBN:
(纸本)9781479928941
In this paper, we propose a new signal-to-noise-ratio (SNR) maximum likelihood (ML) estimator over time-varying single-input multiple-output (SIMO) channels, for both data-aided (DA) and non-data-aided (NDA) cases. Unlike the classical techniques which assume the channel to be slowly time-varying and, therefore, considered as constant during the observation period, we address the more challenging problem of instantaneous SNR estimation over fast time-varying channels. The channel variations are locally tracked using a polynomial-in-time expansion. In the DA scenario, the ML estimator is developed in closed-form expression. In the NDA scenario, however, the ML estimates of the per-antenna SNRs are obtained iteratively, with very few iterations, using the expectation-maximization (EM) procedure. Our estimator is able to accurately estimate the instantaneous SNRs over a wide range of average SNR. We show through extensive Monte-Carlo simulations that the new estimator outperforms previously developed solutions.
We are motivated by many applications such as problems that arise in online marketing applications, where the observations are governed by non-homogeneous Poisson models. We analyze the performance of a Maximum Likeli...
详细信息
ISBN:
(纸本)9781479928941
We are motivated by many applications such as problems that arise in online marketing applications, where the observations are governed by non-homogeneous Poisson models. We analyze the performance of a Maximum Likelihood (ML) decoder. We prove consistency and show an exponential rate of converge for sparse recovery in the high-dimensional Poisson setting. After verifying the efficiency of ML estimator empirically, we apply the ML decoder to study the dynamics of online marketing methods over time.
This paper considers cost savings that can be achieved by a multi-layer (ML) dimensioning and interworking within a practical packet-optical backbone network. They are based on several multi-layer resilience (MLR) sch...
详细信息
ISBN:
(纸本)9783800736041
This paper considers cost savings that can be achieved by a multi-layer (ML) dimensioning and interworking within a practical packet-optical backbone network. They are based on several multi-layer resilience (MLR) schemes. This includes optical restoration against optical failures (MLR-O) and spare backup interfaces, provisioned against port failures (MLR-P). The design steps comprise an ML router bypass optimization (MLBO) of 100Gbit/s wavelengths through an agile photonic layer equipped with colorless-directionless ROADM. In order to minimize costs, dedicated L1/L2 (ODU or Ethernet) switching devices will not be deployed. We apply this methodology to DT‚s IP backbone, showing about 25-30% fewer interfaces are required. The total cost saving potential is estimated by using today‚s average market prices, proving the superiority of the approach. Finally, we extend MLR to the aggregation network with its typically ring-like topologies.
In this paper we propose an algorithm with reduced complexity for the sphere detection (SD) which is used in multiple input multiple output (MIMO) detection algorithms without any performance degradation. The trade-of...
详细信息
ISBN:
(纸本)9781479928941
In this paper we propose an algorithm with reduced complexity for the sphere detection (SD) which is used in multiple input multiple output (MIMO) detection algorithms without any performance degradation. The trade-off between the complexity and the bit error rate is a main challenge in wireless MIMO systems. The maximum likelihood (ML) detector considered as the optimum detector in the literatures. Since the complexity of the naive ML detectors is significantly high, the SD algorithms are proposed to lower the complexity. In this paper, we use the result of the geometrical decoder (GD) proposed in [8] which performs as the ML detector and has lower complexity than SD algorithm. We propose a method to further reduce the complexity of this SD algorithm. We show that the complexity is further reduced by almost 60%, i.e., the number of nodes visited by the proposed SD method is in average 60% less than that of the original one.
In this paper, we address the issue of the joint detection schemes for uplink cellular system when base station cooperation is possible for multi-cell users in multi-cell scenario. The ML, MMSE and MMSE based SIC dete...
详细信息
ISBN:
(纸本)9781479952564
In this paper, we address the issue of the joint detection schemes for uplink cellular system when base station cooperation is possible for multi-cell users in multi-cell scenario. The ML, MMSE and MMSE based SIC detection are analyzed and evaluated. ML attains the optimal performance but the complexity increases exponentially. MMSE is simple but has poor detection performance and SIC has better performance but it has large complexity and the potential of the error propagation. We propose a new ML and MMSE-SIC detection scheme, which combines the partial ML decoding and MMSE based SIC combined detection in order to improve the uncoded BER performance and also decrease the decoding complexity. Simulation results show that the proposed scheme attains the maximum 2 dB reduction of required SNR value to achieve the same BER performance and a similar or a little bit reduced level of decoder complexity over the MMSE based SIC scheme. The proposed scheme can be applied to the MIMO detection for single user and can be extended to other types of multi-user and multi-antenna based BS Cooperation.
Navigation algorithms are fundamental for mobile robots. While the correctness of the algorithms is important, it is equally important that they do not fail because of bugs in their implementation. Yet, even widely-us...
详细信息
ISBN:
(纸本)9781479969357
Navigation algorithms are fundamental for mobile robots. While the correctness of the algorithms is important, it is equally important that they do not fail because of bugs in their implementation. Yet, even widely-used robot navigation code lacks proofs of correctness or credible coverage reports from testing. Robot software developers usually point towards the cost of manual verification or lack of automated tools that would handle their code. We demonstrate that the choice of programming language is essential both for finding bugs in the code and for proving their absence. Our re-implementation of three robot navigation algorithms in SPARK revealed bugs that for years have not been detected in their original code in C/C++. For one of the implementations we demonstrate that it is free from run-time errors. Our code and results are available online to encourage uptake by the robot software developers community.
The OpenFlow protocol is an example of a Software Defined Networking protocol proposed as a software mechanism for controlling the network equipments. Nevertheless, the management of OpenFlow experiments can be a diff...
详细信息
ISBN:
(纸本)9781632667335
The OpenFlow protocol is an example of a Software Defined Networking protocol proposed as a software mechanism for controlling the network equipments. Nevertheless, the management of OpenFlow experiments can be a difficult task considering the programminglanguages and the configuration required for the resources involved. Nevertheless, this task would be straightforward with the use of a graphical tool. This paper presents the utilization of a graphical user interface called Visual Network Description (SDN version) for the authoring of OpenFlow scenarios. In order to demonstrate the potential of this tool a case study is presented illustrating the authoring and execution of an Openflow scenario.
暂无评论