Publications
Export 7151 results:
Author Title Type [ Year] Filters: Genomic-analysis-icevchban8-atypical-genetic-element-vibrio-cholerae is [Clear All Filters]
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1995. Efficient parsing for Korean and English: A parameterized message-passing approach. Computational Linguistics. 21(2):255-263.
1995. Estimation of setup time for machined parts: accounting for work-holding constraints using a vise. COMPUTERS IN ENGINEERING. :619-632.
1995. Euclidean spanners: short, thin, and lanky. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. :489-498.
1995. Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
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.
1995. Experimental software engineering: A report on the state of the art. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 17:277-277.
1995. Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
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.
1995. Gauss, Statistics, and Gaussian Elimination. Journal of Computational and Graphical Statistics. 4(1):1-11.
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.
1995. Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
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.
1995. Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
1995. Global rigidity constraints in image displacement fields. , Fifth International Conference on Computer Vision, 1995. Proceedings. :245-250.
1995. Global rigidity constraints in image displacement fields. Proceedings of Fifth International Conference on Computer Vision, 1995. :245-250.
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.