Sciweavers

5634 search results - page 166 / 1127
» About Abstract Classes
Sort
View
AE
1997
Springer
15 years 3 months ago
Asymptotical Convergence Rates of Simple Evolutionary Algorithms under Factorizing Mutation Distributions
Abstract. The standard choice for mutating an individual of an evolutionary algorithm with continuous variables is the normal distribution. It is shown that there is a broad class ...
Günter Rudolph
CONCUR
2004
Springer
15 years 3 months ago
Extended Process Rewrite Systems: Expressiveness and Reachability
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
Mojmír Kretínský, Vojtech Reh...
CADE
1998
Springer
15 years 2 months ago
Rank/Activity: A Canonical Form for Binary Resolution
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...
Joseph Douglas Horton, Bruce Spencer
DLOG
2008
15 years 1 months ago
Locality and Subsumption Testing in EL and Some of its Extensions
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
Viorica Sofronie-Stokkermans
DAGM
2008
Springer
15 years 1 months ago
Example-Based Learning for Single-Image Super-Resolution
Abstract. This paper proposes a regression-based method for singleimage super-resolution. Kernel ridge regression (KRR) is used to estimate the high-frequency details of the underl...
Kwang In Kim, Younghee Kwon