Sciweavers

114 search results - page 18 / 23
» The invariants of the binary decimic
Sort
View
DATE
2010
IEEE
173views Hardware» more  DATE 2010»
14 years 2 months ago
Robust design of embedded systems
—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...
Martin Lukasiewycz, Michael Glaß, Jürge...
JGT
2008
91views more  JGT 2008»
13 years 9 months ago
On the editing distance of graphs
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...
Maria Axenovich, André E. Kézdy, Rya...
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
13 years 9 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
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...
Mirjana Ivanovic, Viktor Kuncak
SSPR
2010
Springer
13 years 8 months ago
Content-Based Tile Retrieval System
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...
Pavel Vácha, Michal Haindl
ICIP
2010
IEEE
13 years 7 months ago
Robust object detection scheme using feature selection
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...
Hong Pan, Liang-Zheng Xia, Truong Q. Nguyen