6045 search results - page 988 / 1209 » Computable Linearizations of Well-partial-orderings |
159
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
We study if and when the inequality dp(H) ≤ rel∆(H) holds for schemas H in chromosomes that are structured as trees. The disruption probability dp(H) is the probability that a...
161
click to vote
RTA
2005
Springer
16 years 1 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
185
click to vote
SARA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
170
click to vote
WMPI
2004
ACM
15 years 12 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
166
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...