1638 search results - page 91 / 328 » Properties of input-consuming derivations |
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
The No-Free-Lunch theorems (NFLTs) are criticized for being too general to be of any relevance to the real world scenario. This paper investigates, both formally and empirically, ...
ACSC
2001
IEEE
15 years 1 months ago
2001
IEEE
We propose an effective methodology in which a distributed garbage collector may be derived from a distributed termination algorithm and a centralized garbage collector in a manne...
FASE
2000
Springer
15 years 1 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
PRDC
2000
IEEE
15 years 1 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
AAAI
2008
15 years 10 days ago
2008
Complex graphs, in which multi-type nodes are linked to each other, frequently arise in many important applications, such as Web mining, information retrieval, bioinformatics, and...