1684 search results - page 251 / 337 » The lexicographic decision function |
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
TABLEAUX
2009
Springer
14 years 4 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
SOUPS
2009
ACM
14 years 4 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...
CCGRID
2008
IEEE
14 years 4 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
CCGRID
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...