Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1994. Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
1994. Transforming queries from a relational schema to an object schema: A prototype based on F-logic. Methodologies for Intelligent SystemsMethodologies for Intelligent Systems. 869:154-163.
1994. Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1994. Visualization in the information highway. Proceedings of the conference on Visualization '94. :4-7.
1995. 3D motion representations in visual servo control. Proceedings of International Symposium on Computer Vision, 1995. :61-66.
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. Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
1995. Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
1995. Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
1995. Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
1995. Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
1995. Iso-distortion contours and egomotion estimation. Proceedings of International Symposium on Computer Vision, 1995. :55-60.
1995. Land cover dynamics investigation using parallel computers. Geoscience and Remote Sensing Symposium, 1995. IGARSS '95. 'Quantitative Remote Sensing for Science and Applications', International. 1:332-334vol.1-332-334vol.1.
1995. Randomness-Optimal Unique Element Isolation with Applications to Perfect Matching and Related Problems. SIAM Journal on Computing. 24(5):1036-1036.
1995. Sampling properties of DNA sequence data in phylogenetic analysis. Mol Biol Evol. 12(5):814-822.
1995. Scalable data parallel algorithms for texture synthesis using Gibbs random fields. Image Processing, IEEE Transactions on. 4(10):1456-1460.