In this paper, we propose a sentence segmentation model for a semi-automatic tree annotation tool using a parsing model. For the purpose of improving both parsing performance and parsing complexity without any modific...
详细信息
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against ...
详细信息
作者:
Itmi, MhamedHuntsinger, RalphINSA-Rouen
LITIS Laboratory BP 08 76131 Mt-St-Aignan France CSU
Chico College of Engineering Computer Science and Construction Mgnt. Chico CA 95929 United States Faculty of Computer Science
Software Engineering Dept. Bialystok Technical University Wiejska 45A 15-351 Bialystok Poland
Explanation is necessary when a user wants to explain what occurs in a scenario simulation or notices a weakness on some statistical indicators of this simulation. We propose to build an intelligent assistant based on...
详细信息
ISBN:
(纸本)9781622763542
Explanation is necessary when a user wants to explain what occurs in a scenario simulation or notices a weakness on some statistical indicators of this simulation. We propose to build an intelligent assistant based on a multi agent system. Thanks to reasoning faculties adapted to the simulation system and to a scenario simulation trace, an explanation will arise from the interaction between the user and the intelligent assistant. The paper will recall the main steps of this approach and focus on the assistant model.
Embedded digital signal processors for software defined radio have stringent design constraints including high computational bandwidth, low power consumption, and low interrupt latency. Furthermore, due to rapidly evo...
详细信息
This paper proposes optimization techniques to accelerate the enhanced edge-based line average (ELA) deinterlacing method. ELA is based on edge detection and directional interpolation as well as median filtering. The ...
详细信息
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability of renewable energy sources such as w...
详细信息
A robust dynamic evolutionary algorithm (labeled RODEA), where both the robust calculation and mutation operator are based on an orthogonal design, is proposed in this paper. Previous techniques calculate the mean eff...
详细信息
ISBN:
(纸本)1595931864
A robust dynamic evolutionary algorithm (labeled RODEA), where both the robust calculation and mutation operator are based on an orthogonal design, is proposed in this paper. Previous techniques calculate the mean effective objective (for robust) by using samples without much evenly distributing over the neighborhood. The samples by using orthogonal array distribute evenly. Therefore the calculation of mean effective objective more robust. The new technique is generalized from the ODEA algorithm [1]. An orthogonal design method is employed on the niches for the mutation operator to find a potentially good solution that may become the representative in the niche. The fitness of the offspring is therefore likely to be higher than that of its parent. We propose a complex benchmark, consisting of moving function peaks, to test our new approach. Numerical experiments show that the moving solutions of the algorithm are a little worse in objective value but robust.
Achievable performance gains, when accelerating applications using ASIPs, with a good sequence of specialized instructions, depends on the applications' available parallelism, and possibilities for optimizations a...
详细信息
Achievable performance gains, when accelerating applications using ASIPs, with a good sequence of specialized instructions, depends on the applications' available parallelism, and possibilities for optimizations and transformations. The type and number of operations, and the number of data transfers of the application are also critical factors. Much progress has been done on ASIP customized instruction-identification and selection research; they are usually based on operation clustering. In this paper, we propose to minimize the number of data transfers during execution of specialized instructions sequence by storing temporary values in user-defined registers. The method avoids costly data transfers and allows parallel processing of demanding computations. This method is applied to the design of an ASIP dedicated to edge line average deinterlacing, an algorithm used in HDTV. Experimental results show that our design method applied to this application, yields a speedup factor larger than 18
暂无评论