LCS Publications: Recent submissions

Now showing items 82-84 of 1152

    • Object Models, Heaps and Interpretations 

      Rinard, Martin; Kuncak, Viktor (2001-01)
      This paper explores the use of object models for specifying verifiable heap invariants. We define a simple language based on sets and relations and illustrate its use through examples. We give formal semantics of the ...

    • Perspectives on the Use of the Internet in Sri Lanka 

      Shrestha, Govinda; Amarasinghe, Saman (2000-11)
      The survey examines the use of computers and the Internet in Sri Lanka from the perspective of the Internet Service Provider (ISP) members. It attempts to describe the general nature of IT use in terms of the availability, ...

    • Automatic Recovery of Camera Positions in Urban Scenes 

      Antone, Matthew E.; Teller, Seth (2000-12)
      Accurate camera calibration is crucial to the reconstruction of three-dimensional geometry and the recovery of photometric scene properties. Calibration involves the determination of intrinsic parameters (e.g. focal length, ...