While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
Qian-Yi Zhou (University of Southern California), ...
Automated detection of lesions in retinal images can assist
in early diagnosis and screening of a common disease:
Diabetic Retinopathy. A robust and computationally
efficient ap...
Saiprasad Ravishankar (University of Illinois Urba...
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...