Sciweavers

260 search results - page 2 / 52
» Hardness of Parameterized Resolution
Sort
View
CHARME
2005
Springer
124views Hardware» more  CHARME 2005»
15 years 3 months ago
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems
Panagiotis Manolios, Sudarshan K. Srinivasan
87
Voted
CPM
2008
Springer
170views Combinatorics» more  CPM 2008»
14 years 11 months ago
Parameterized Algorithms and Hardness Results for Some Graph Motif Problems
Nadja Betzler, Michael R. Fellows, Christian Komus...
ICIP
2002
IEEE
15 years 11 months ago
Fast text/graphics resolution improvement using wavelet based denoising and chain-code table lookup
We propose a fast text/graphics resolution improvement algorithm with boundary parameterization and wavelet based denoising. Given input images containing labeled text/graphics ob...
Onur G. Guleryuz, Anoop Bhattacharjya
FOCS
2007
IEEE
15 years 3 months ago
Parameterized Proof Complexity
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider