Fault localization is the most expensive activity of program debugging. It identifies the exact locations of program faults. Finding these faults using an ad-hoc approach or based only on programmers' intuitive gu...
详细信息
An innovative meta-search engine named WebFusion has been presented. the search system learns the expertness of every particular underlying search engine in a certain category based on the users' preferences accor...
详细信息
An innovative meta-search engine named WebFusion has been presented. the search system learns the expertness of every particular underlying search engine in a certain category based on the users' preferences according to an analysis of click-through behavior. In addition, an intelligent re-ranking method based on ordered weighted averaging (OWA) was introduced. the re-ranking method was used to fuse the results' scores of the underlying search engines. Independently, a progressive application of evolutionary computing to optimize Boolean search queries in crisp and fuzzy information retrieval systems was investigated, evaluated in laboratory environment and presented. In this paper we propose an incorporation of these two innovative recent methods founding an advanced Internet search application.
In this paper, we propose a novel exemplar-based approach to extract dynamic foreground regions from a changing background within a collection of images or a video sequence. By using image segmentation as a pre-proces...
详细信息
ISBN:
(纸本)9780262195683
In this paper, we propose a novel exemplar-based approach to extract dynamic foreground regions from a changing background within a collection of images or a video sequence. By using image segmentation as a pre-processing step, we convert this traditional pixel-wise labeling problem into a lower-dimensional supervised, binary labeling procedure on image segments. Our approach consists of three steps. First, a set of random image patches are spatially and adaptively sampled within each segment. Second, these sets of extracted samples are formed into two "bags of patches" to model the foreground/background appearance, respectively. We perform a novel bidirectional consistency check between new patches from incoming frames and current "bags of patches" to reject outliers, control model rigidity and make the model adaptive to new observations. Within each bag, image patches are further partitioned and resampled to create an evolving appearance model. Finally, the foreground/background decision over segments in an image is formulated using an aggregation function defined on the similarity measurements of sampled patches relative to the foreground and background models. the essence of the algorithm is conceptually simple and can be easily implemented within a few hundred lines of Matlab code. We evaluate and validate the proposed approach by extensive real examples of the object-level image mapping and tracking within a variety of challenging environments. We also show that it is straightforward to apply our problem formulation on non-rigid object tracking with difficult surveillance videos.
Computational science is often referred to as the third science,complementing boththeoretical and laboratory science. In this field, new challenges are continuously arising. the asymptotic time complexity definition ...
详细信息
ISBN:
(纸本)9780769530154;076953015X
Computational science is often referred to as the third science,complementing boththeoretical and laboratory science. In this field, new challenges are continuously arising. the asymptotic time complexity definition of both deterministic and non-deterministic algorithms to solve all kinds of problems is one of the key points in computerscience. Knowing the limit of the execution time of an algorithm when the size of the problem goes to infinity is essential. In particular, data-dependent applications is an extremely challenging problem because for a specific issue the input data sets may cause variability in execution times. the development of an entire approach to define the asymptotic time complexity of a hard data-dependent parallel application that solves the traveling salesman problem (TSP) is the focus of this study. Two different parallel TSP algorithms are presented. One of these is used to show the usefulness and the profits of the proposed approach, and the other one is used as witness. the experimental results are quite promising.
Web servers, being crucial software systemsthat provide web services, should normally benefit from advances in software engineering techniques and technology. Our web server (called AUC-Abyss) is a stand-alone, relia...
详细信息
To more effectively use HPC clusters for even larger computations, reduce turn-around times and better utilize compute resource, users are looking to interconnect multiple HPC clusters, creating a grid. To effectively...
详细信息
In this work, we propose the use of a new post-processing method for the lateral and amplitude tuning of membership functions combined with a rule selection to develop accurate fuzzy logic controllers dedicated to the...
详细信息
ISBN:
(纸本)3540354530
In this work, we propose the use of a new post-processing method for the lateral and amplitude tuning of membership functions combined with a rule selection to develop accurate fuzzy logic controllers dedicated to the control of heating, ventilating and air conditioning systems concerning energy performance and indoor comfort requirements.
A model following adaptive controller made-up by neural networks is proposed to controlthe angular displacement of swashplate in a variable displacement axial piston pump (VDAPP), which consists of multiple neural ne...
详细信息
ISBN:
(纸本)3540354530
A model following adaptive controller made-up by neural networks is proposed to controlthe angular displacement of swashplate in a variable displacement axial piston pump (VDAPP), which consists of multiple neural networks including a direct neural controller, a neural emulator and a neural tuner. the controls of swashplate angle are investigated by simulation and experiment, serve its model-following characteristics can be evaluated and compared with other methods.
In this paper we present a novel extension of a lightweight model for fault localization that allows for modeling procedural programs. the procedural programming paradigm is often used in (safety-critical) control sof...
详细信息
ISBN:
(纸本)3540354530
In this paper we present a novel extension of a lightweight model for fault localization that allows for modeling procedural programs. the procedural programming paradigm is often used in (safety-critical) control software where a program's verification and subsequent fault localization is of utmost importance. In this article we present results from our recent case study relying on this kind of programs. Notably, our lightweight model is always able to localize the misbehavior's real cause.
this article presents experience feedback regarding one of the methods EDF uses for the reappropriation of ontological concepts in the field of control and instrumentation. the final approach used here has enabled us ...
详细信息
ISBN:
(纸本)3540354530
this article presents experience feedback regarding one of the methods EDF uses for the reappropriation of ontological concepts in the field of control and instrumentation. the final approach used here has enabled us to check out these problems in a satisfactory manner. It has enabled us to obtain consistent and consensual ontology capitalizing on the knowledge involving the concepts impacting the field of production plant instrumentation and control.
暂无评论