406 search results - page 47 / 82 » Kernelization and Complexity Results for Connectivity Augmen... |
AIPS
1998
15 years 1 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Bidimensionality theory appears to be a powerful framework for the development of metaalgorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
110
click to vote
RECOMB
2008
Springer
16 years 3 days ago
2008
Springer
Abstract. One phylogeny-based approach to horizontal gene transfer (HGT) detection entails comparing the topology of a gene tree to that of the species tree, and using their differ...
109
click to vote
FOCS
2008
IEEE
15 years 6 months ago
2008
IEEE
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
121
click to vote
POLICY
2004
Springer
15 years 5 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...