Publications
Export 292 results:
Author Title Type [ Year] Filters: First Letter Of Title is F [Clear All Filters]
1998. Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection. DEPENDABLE COMPUTING AND FAULT TOLERANT SYSTEMS. 11:43-62.
1997. Families of Stationary Patterns Producing Illusory Movement: Insights into the Visual System. Proceedings of the Royal Society of London. Series B: Biological SciencesProc. R. Soc. Lond. B. 264(1383):795-806.
1997. Fast algorithms for estimating aerosol optical depth and correcting thematic mapper imagery. The Journal of Supercomputing. 10(4):315-329.
1997. Fast iterative image restoration with a spatially varying PSF. Proceedings of SPIE. 3162(1):388-399.
1997. From algorithm parallelism to instruction-level parallelism: An encode-decode chain using prefix-sum. Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures. :260-271.
1997. Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
1996. Fast algorithms for removing atmospheric effects from satellite images. Computational Science Engineering, IEEE. 3(2):66-77.
1996. Fast nonsymmetric iterations and preconditioning for Navier-Stokes equations. SIAM Journal on Scientific Computing. 17(1):33-46.
1996. A fast parallel algorithm for finding the convex hull of a sorted point set. International Journal of Computational Geometry and Applications. 6:231-242.
1996. Fast sorting by reversal. Combinatorial Pattern MatchingCombinatorial Pattern Matching. 1075:168-185.
1996. Feature discovery and classification of Doppler umbilical artery blood flow velocity waveforms. Computers in Biology and Medicine. 26(6):451-462.
1996. FINESSE: a financial information spreadsheet. Information Visualization '96, Proceedings IEEE Symposium on. :70-71,125-70-71,125.
1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
1995. A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
1995. Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
1994. Finding structurally consistent motion correspondences. Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision Image Processing., Proceedings of the 12th IAPR International Conference on. 1:650-653vol.1-650-653vol.1.