Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 145-147 of 3794
-
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 ... -
The Fastest Fourier Transform in the West
(1997-09)
