—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
An edge-operation on a graph G is defined to be either the deletion of an existing edge or the addition of a nonexisting edge. Given a family of graphs G, the editing distance fro...
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Abstract. A content-based tile retrieval system based on the underlying multispectral Markov random field representation is introduced. Single tiles are represented by our approve...
Feature selection is an important issue for object detection. In this paper, we propose an effective wrapper-based feature selection scheme using Binary Particle Swarm Optimizatio...