87 search results - page 14 / 18 » The invariants of the binary nonic |
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—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...
INFORMATICALT
2002
14 years 10 months ago
2002
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...
SSPR
2010
Springer
14 years 9 months ago
2010
Springer
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...
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
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...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...