- CS-94-06. Minas Spetsakis. An Optical Flow Estimation Algorithm that Uses Gabor Filters and Affine Model for Flow.
- CS-94-07. Minas Spetsakis. Optical Flow Estimation Using Discontinuity Conforming Filters.
- CS-94-10. Khuzaima S. Daudjee. Organizing Reusable Software Repositories Through Heuristic Clustering.
- CS-ETR-94-01. Minas Spetsakis. Spectrum Selective Techniques for Optical Flow Estimation.
- CS-ETR-94-02. Minas Spetsakis. An Affine Model for Optical Flow Estimation.
- CS-ETR-94-03. Minas Spetsakis. MediaMath Primer.
- CS-ETR-94-04. Minas E. Spetsakis. MediaMath: A Research Environment for Computer Vision.
- CS-ETR-94-05. Minas E. Spetsakis. Image Metamorphosis Using Optical Flow Techniques.
- CS-ETR-94-06. Jonathan S. Ostroff. Automated Modular Specification and Verification of Real-Time Reactive Systems.
- CS-ETR-94-07. Jonathan S. Ostroff. StateTime --- a Visual Toolset for the Design and Verification of Real-Time Systems.
- CS-ETR-94-08. Jonathan S. Ostroff. Specifying and Verifying Real-Time Reactive Systems in TTM/RTTL.
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.