Sciweavers

451 search results - page 16 / 91
» On Parameterized Exponential Time Complexity
Sort
View
ECAI
2004
Springer
14 years 1 months ago
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
IWPEC
2009
Springer
14 years 4 months ago
Pareto Complexity of Two-Parameter FPT Problems: A Case Study for Partial Vertex Cover
We describe a framework for expressing the complexity of algorithms for FPT problems with two separate parameters k, m and with exponential time bounds O∗ (xk ym ) where x, y &g...
Peter Damaschke
SCL
2010
86views more  SCL 2010»
13 years 8 months ago
Stability radii for positive linear time-invariant systems on time scales
We deal with dynamic equations on time scales, where we characterize the positivity of a system. Uniform exponential stability of a system is determined by the spectrum of its mat...
T. S. Doan, A. Kalauch, Stefan Siegmund, Fabian Wi...
TAMC
2007
Springer
14 years 4 months ago
Kernelizations for Parameterized Counting Problems
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
Marc Thurley
COCO
1998
Springer
103views Algorithms» more  COCO 1998»
14 years 2 months ago
Nonrelativizing Separations
We show that MAEXP, the exponential time version of the Merlin-Arthur class, does not have polynomial size circuits. This significantly improves the previous known result due to K...
Harry Buhrman, Lance Fortnow, Thomas Thierauf