11808 search results - page 174 / 2362 » Isometries and Computability Structures |
113
Voted
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
A radius–based separation of selection and recombination spheres in diffusion model EAs is introduced, enabling a new taxonomy, oriented towards information flow analysis. It a...
129
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
125
click to vote
AIME
2003
Springer
15 years 10 months ago
2003
Springer
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
123
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
118
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...