Sciweavers

4397 search results - page 241 / 880
» Relational Algebra Operations
Sort
View
DAGSTUHL
1996
15 years 5 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Alexander Sakharov
FOGA
1992
15 years 5 months ago
Relative Building-Block Fitness and the Building Block Hypothesis
The building-block hypothesis states that the GA works well when short, low-order, highly-fit schemas recombine to form even more highly fit higher-order schemas. The ability to p...
Stephanie Forrest, Melanie Mitchell
IJCCBS
2010
105views more  IJCCBS 2010»
15 years 2 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly
CAI
2009
Springer
15 years 2 months ago
On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes
This paper studies conditions under which the operation of parallel insertion can be reversed by parallel deletion, i.e., when does the equality (L1 L2) L2 = L1 hold for language...
Bo Cui, Lila Kari, Shinnosuke Seki
ICIP
2003
IEEE
16 years 5 months ago
On the reconstruction of an image from its moments
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...
Federico Thomas, Judit Martinez