Existing spatial shape-error concealment techniques are broadly based upon either parametric curves that exploit geometric information concerning a shape's contour or object shape statistics using a combination of...
详细信息
Existing spatial shape-error concealment techniques are broadly based upon either parametric curves that exploit geometric information concerning a shape's contour or object shape statistics using a combination of Markov random fields and maximum a posteriori *** categories are to some extent,able to mask errors caused by information loss,provided the shape is considered independently of the image/*** palpably however,do not afford the best solution in applications where shape is used as metadata to describe image and video *** paper presents a novel image-dependent spatial shape-error concealment(ISEC) algorithm that uses both image and shape information by employing the established rubber-band contour detecting function,with the novel enhancement of automatically determining the optimal width of the band to achieve superior error *** results qualitatively and numerically corroborate the enhanced performance of the new ISEC strategy compared with established shape-based concealment techniques.
In this paper, a novel variable rate based time frame scheduling scheme is proposed to further reduce collisions and improve energy saving in wireless sensor networks. The MAC combines CSMA and TDMA functionalities, w...
详细信息
In this paper, a novel variable rate based time frame scheduling scheme is proposed to further reduce collisions and improve energy saving in wireless sensor networks. The MAC combines CSMA and TDMA functionalities, while obviating their shortcomings. After being assigned, slot 0 is preserved as the pre-schedule slot to inform neighbor nodes the schedule of the senders. During this pre-schedule slot, each node knows exactly the schedule of other neighbor nodes. Multi-rate and power scaling are adopted to achieve further energy saving by employing an acceptable rate rather than the maximum rate. Data rate is dynamically adjusted according to the traffic load of sending nodes in an energy efficient data rate to save energy. Compared with Z-MAC, performance in the present study proves to have better ability of local framing pre-schedule and multi-rate achieves better energy efficiency.
We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking meth...
详细信息
We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterizatio...
详细信息
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.
Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobi...
详细信息
Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based softwareengineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition;(2) target C language for optimal code generation with resource-constrained micro-controller;and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systemssoftware development.
This paper aims to obtain a baseline snapshot of Project Management processes using a two-phase questionnaire to identify both performed and nonperformed practices. The proposed questionnaire is based on the Level 2 p...
详细信息
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of this platform involves cross-disciplin...
详细信息
Increasingly, software must adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Since most existing software was not design...
详细信息
暂无评论