LCS Publications: Recent submissions
Now showing items 139-141 of 1152
-
Algorithmic issues in coding theory
(1997-10) -
Formal Verification of Safety-Critical Hybrid Systems
(1997-09)This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems [1,2,3,4]---systems involving both discrete and continuous behavior. The ... -
Automatic Extraction of Textured Vertical Facades from Pose Imagery
(1998-01)Extracting 3-dimensional structure from real-world imagery and rendering it from unrestricted viewpoints is an important problem in computer vision, and increasingly, computer graphics. Despite many years of research, a ...
