657 search results - page 40 / 132 » A Version Numbering Scheme with a Useful Lexicographical Ord... |
LOGCOM
2007
14 years 9 months ago
2007
Harvey Friedman introduced natural independence results for the Peano axioms via certain schemes of combinatorial well-foundedness. We consider here parameterized versions of this...
SOSP
1989
ACM
14 years 11 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
DASFAA
2007
IEEE
15 years 1 months ago
2007
IEEE
In order to efficiently determine structural relationships among XML elements and to avoid re-labeling for updates, much research about labeling schemes has been conducted, recentl...
ENC
2005
IEEE
15 years 3 months ago
2005
IEEE
Generally, evolutionary algorithms require a large number of evaluations of the objective function in order to obtain a good solution. This paper presents a simple approach to sav...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper outlines the theoretical concept of a study currently under way in China. Its main idea is to explore the sustainability of centralized inter-organizational systems for...