Vitalsource Technologies, Inc. R-trees: Theory And Applications