8728 search results - page 75 / 1746 » On Reduct Construction Algorithms |
AAECC
1991
Springer
14 years 14 days ago
1991
Springer
ESA
2010
Springer
13 years 6 months ago
2010
Springer
FOCS
2006
IEEE
14 years 3 months ago
2006
IEEE
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
ANTS
2006
Springer
14 years 21 days ago
2006
Springer
We propose a practical sampling reduction algorithm for lattice bases based on work by Schnorr [1] as well as two even more effective generalizations. We report the empirical behav...
AMAST
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...