2909 search results - page 281 / 582 » Consistency of the theory of contexts |
167
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Hereditary Repulsion (HR) is a selection method coupled with a fitness constraint that substantially improves the performance and consistency of evolutionary algorithms. This als...
204
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
165
click to vote
IGPL
2006
15 years 6 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
164
click to vote
KAIS
2006
15 years 6 months ago
2006
Abstract It has been proven that districted matching schemes (e.g., the US presidential election scheme, also called the Electoral College) are more stable than undistricted matchi...
190
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...