Sciweavers

ICSE
2012
IEEE-ACM
11 years 6 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
GISCIENCE
2008
Springer
121views GIS» more  GISCIENCE 2008»
13 years 5 months ago
Identifying Maps on the World Wide Web
Abstract. This paper presents an automatic approach to mining collections of maps from the Web. Our method harvests images from the Web and then classifies them as maps or non-map...
Matthew Michelson, Aman Goel, Craig A. Knoblock
ICCV
2003
IEEE
14 years 6 months ago
Nonmetric Lens Distortion Calibration: Closed-form Solutions, Robust Estimation and Model Selection
This paper addresses the problem of calibrating camera lens distortion, which can be signi?cant in medium to wide angle lenses. While almost all existing nonmetric distortion cali...
Moumen T. El-Melegy, Aly A. Farag