Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
We prove a time-space tradeoff for traversing undirected graphs, using a structured model that is a nonjumping variant of Cook and Rackoff's "jumping automata for graphs.". © 1999 Society for Industrial and Applied Mathematics.
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Liqun Chen, Matthias Enzmann, et al.
FC 2005
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev