Publications

1998

Cukier M, Arlat J, Powell D. 1998. Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection. DEPENDABLE COMPUTING AND FAULT TOLERANT SYSTEMS. 11:43-62.

Doermann D, Rivlin E, Rosenfeld A. 1998. The function of documents. Image and Vision Computing. 16(11):799-814.

1997

Fermüller C, Pless R, Aloimonos Y. 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.

Fallah-Adl H, JaJa JF, Liang S. 1997. Fast algorithms for estimating aerosol optical depth and correcting thematic mapper imagery. The Journal of Supercomputing. 10(4):315-329.

Nagy JG, O'Leary DP. 1997. Fast iterative image restoration with a spatially varying PSF. Proceedings of SPIE. 3162(1):388-399.

Shneiderman B. 1997. A framework for search interfaces. IEEE Software. 14(2):18-20.

Vishkin U. 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.

Doermann D, Rosenfeld A, Rivlin E. 1997. The Function of Documents. ICDAR. :1077-1081.

Porter A. 1997. Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.

1996

Fallah-Adl H, JaJa JF, Liang S, Townshend J, Kaufman YJ. 1996. Fast algorithms for removing atmospheric effects from satellite images. Computational Science Engineering, IEEE. 3(2):66-77.

Elman H, Silvester D. 1996. Fast nonsymmetric iterations and preconditioning for Navier-Stokes equations. SIAM Journal on Scientific Computing. 17(1):33-46.

Berkman O, Schieber B, Vishkin U. 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.

Berman P, Hannenhalli S. 1996. Fast sorting by reversal. Combinatorial Pattern MatchingCombinatorial Pattern Matching. 1075:168-185.

Baykal N, Reogia JA, Yalabik N, Erkmen A, Beksac M.S. 1996. Feature discovery and classification of Doppler umbilical artery blood flow velocity waveforms. Computers in Biology and Medicine. 26(6):451-462.

Kobla V, Doermann D, Lin K-I(D), Faloutsos C. 1996. Feature Normalization for Video Indexing and Retrieval. LAMP-TR-003,CFAR-TR-847,CS-TR-3732

Varshney A, Kaufman A. 1996. FINESSE: a financial information spreadsheet. Information Visualization '96, Proceedings IEEE Symposium on. :70-71,125-70-71,125.

Doermann D, Rivlin E, Rosenfeld A. 1996. The Function of Documents. LAMP-TR-002,CFAR-TR-841,CS-TR-3697

1995

Mahajan R, Shneiderman B. 1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.

Mahajan R, Shneiderman B. 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)

Pugh W, Kelly W. 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.

Cleaveland R, Madelaine E, Sims S. 1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.

1994

Levi S-T, Agrawala AK. 1994. Fault tolerant system design. :440.

Regli WC, Gupta SK, Nau DS. 1994. Feature Recognition for Manufacturability Analysis. ISR; TR 1994-10

Berkman O, Vishkin U. 1994. Finding level-ancestors in trees. Journal of Computer and System Sciences. 48(2):214-230.

Jacobs DW, Chennubhotla C. 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.

Pages

Publications