1272 search results - page 8 / 255 » Approximate Parameterized Matching |
IMAMS
2000
15 years 2 months ago
2000
AUTOMATICA
2010
15 years 1 months ago
2010
CJ
2008
15 years 1 months ago
2008
109
click to vote
ICCAD
2005
IEEE
15 years 10 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 ...
179
click to vote
MFCS
2010
Springer
14 years 11 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...