Sciweavers

260 search results - page 2 / 52
» Hardness of Parameterized Resolution
Sort
View
CHARME
2005
Springer
124views Hardware» more  CHARME 2005»
14 years 13 days ago
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems
Panagiotis Manolios, Sudarshan K. Srinivasan
CPM
2008
Springer
170views Combinatorics» more  CPM 2008»
13 years 8 months ago
Parameterized Algorithms and Hardness Results for Some Graph Motif Problems
Nadja Betzler, Michael R. Fellows, Christian Komus...
ICIP
2002
IEEE
14 years 8 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
14 years 1 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