ScienceTreks: an autonomous digital library system