790 search results - page 29 / 158 » Subexponential Parameterized Algorithms |
122
click to vote
TAMC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
125
Voted
COCO
2003
Springer
15 years 7 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
112
click to vote
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...
124
click to vote
FORTE
2009
15 years 7 days ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
125
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
- Most image processing applications are computationally intensive and data intensive. Reconfigurable hardware boards provide a convenient and flexible solution to speed up these a...