Sign in

4, 5 Is Not Coverable: A Counterexample to a Conjecture of Kaiser and Škrekovski.

Roman CadaShuya ChibaKenta OzekiPetr VránaKiyoshi Yoshimoto
Published in: SIAM J. Discret. Math. (2013)
Keyphrases
  • empirical mode decomposition
  • model checking
  • fir filters
  • formal verification
  • impulse response
  • learning algorithm
  • computer vision
  • similarity measure
  • pairwise