Sciweavers

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