Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
1996
Sahinalp SC, Vishkin U.  1996.  Efficient approximate and dynamic matching of patterns using a labeling paradigm. Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on. :320-328.
Sheffler T, Schreiber R, Pugh W, Gilbert J, Chatterjee S.  1996.  Efficient distribution analysis via graph contraction. Languages and Compilers for Parallel Computing. :377-391.
Bhat G, Cleaveland R.  1996.  Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Kandogan E, Shneiderman B.  1996.  Elastic windows: improved spatial layout and rapid multiple window operations. Proceedings of the workshop on Advanced visual interfaces. :29-38.
Karr A, Porter A, Votta L.  1996.  An empirical exploration of code evolution. International Workshop on Empirical Studies of Software Maintenance.
Basili VR, Green S, Laitenberger O, Lanubile F, Shull F, Sørumgård S, Zelkowitz MV.  1996.  The empirical investigation of Perspective-Based Reading. Empirical Software Engineering. 1(2):133-164.
Arlat DPMCJ, Crouzet Y.  1996.  Estimation of time-dependent coverage. 96466
Perry D, Porter A, Votta L, Wade M.  1996.  Evaluating workflow and process automation in wide-area software development. Software Process Technology. :188-193.
Blair D, Campos A, Cummings MP, Laclette JP.  1996.  Evolutionary biology of parasitic platyhelminths: The role of molecular phylogenetics. Parasitol Today. 12(2):66-71.
Zelkowitz MV, Wallace D.  1996.  Experimental models for software diagnosis. NIST IR. 5889
Fermüller C.  1996.  Explaining Human Visual Space Distortion..
Srinivasan A.  1996.  An extension of the Lovász Local Lemma, and its applications to integer programming. Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms. :6-15.
Shneiderman B.  1996.  The eyes have it: a task by data type taxonomy for information visualizations. , IEEE Symposium on Visual Languages, 1996. Proceedings. :336-343.
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
Das D, Gupta SK, Nau DS.  1996.  Generating redesign suggestions to reduce setup cost: a step towards automated redesign. Computer-Aided Design. 28(10):763-782.
Khuller S, Raghavachari B.  1996.  Graph and network algorithms. ACM Computing Surveys. 28(1):43-45.
Shock C, Chang C, Davis LS, Goward S, Saltz J, Sussman A.  1996.  A high performance image database system for remotely sensed imagery. Euro-Par'96 Parallel Processing. :109-122.

Pages