1272 search results - page 8 / 255 » Approximate Parameterized Matching |
IMAMS
2000
13 years 8 months ago
2000
AUTOMATICA
2010
13 years 7 months ago
2010
CJ
2008
13 years 7 months ago
2008
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper we present a parameterized reduction technique for non-linear systems. Our approach combines an existing non-parameterized trajectory piecewise linear method for ...
MFCS
2010
Springer
13 years 5 months ago
2010
Springer
The problem of finding a satisfying assignment for a 2-SAT formula that minimizes the number of variables that are set to 1 (min ones 2–sat) is NP-complete. It generalizes the w...