Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
1995
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Dorr BJ, Lee J, Lin D, Suh S.  1995.  Efficient parsing for Korean and English: A parameterized message-passing approach. Computational Linguistics. 21(2):255-263.
Acharya T, JaJa JF.  1995.  Enhancing LZW Coding Using a Variable-Length Binary Encoding. ISR-TR-1995-70
Das D, Gupta SK, Nau DS.  1995.  Estimation of setup time for machined parts: accounting for work-holding constraints using a vise. COMPUTERS IN ENGINEERING. :619-632.
Arya S, Das G, Mount D, Salowe JS, Smid M.  1995.  Euclidean spanners: short, thin, and lanky. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. :489-498.
Shneiderman B, Chimera R, Jog N, Stimart R, White D.  1995.  Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
Gordon DF, desJardins M.  1995.  Evaluation and selection of biases in machine learning. Machine Learning. 20(1):5-22.
Oard D, DeClaris N, Dorr BJ, Faloutsos C, Marchionini G.  1995.  Experimental investigation of high performance cognitive and interactive text filtering. , IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. 5:4398-4403vol.5-4398-4403vol.5.
Votta LG, Porter A, Perry D.  1995.  Experimental software engineering: A report on the state of the art. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 17:277-277.
Gordon D, Perlis D.  1995.  Explicitly Biased Generalization. Goal-Driven Learning. :321-354.
Regli WC, Gupta SK, Nau DS.  1995.  Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
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.
Stewart G.W.  1995.  Gauss, Statistics, and Gaussian Elimination. Journal of Computational and Graphical Statistics. 4(1):1-11.
Bhattacharyya SS, Buck JT, Ha S, Lee EA.  1995.  Generating compact code from dataflow specifications of multirate signal processing algorithms. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on. 42(3):138-150.
Celikkan U, Cleaveland R.  1995.  Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
Varshney A, Agarwal PK, Brooks Jr FP, Wright WV, Weber H.  1995.  Generating levels of detail for large-scale polygonal models. CS-1995-20
Doermann D, Yao S.  1995.  Generating Synthetic Data for Text Analysis Systems. SDAIR. :449-467.
Peng X, Mount SM.  1995.  Genetic enhancement of RNA-processing defects by a dominant mutation in B52, the Drosophila gene for an SR protein splicing factor.. Molecular and Cellular BiologyMol. Cell. Biol.. 15(11):6273-6282.
Hannenhalli S, Chappey C, Koonin EV, Pevzner PA.  1995.  Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
Fermüller C, Aloimonos Y.  1995.  Global rigidity constraints in image displacement fields. , Fifth International Conference on Computer Vision, 1995. Proceedings. :245-250.
Fermüller C, Aloimonos Y.  1995.  Global rigidity constraints in image displacement fields. Proceedings of Fifth International Conference on Computer Vision, 1995. :245-250.
Pugh W, Wonnacott D.  1995.  Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.

Pages