Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1996. Simplification envelopes. Proceedings of the 23rd annual conference on Computer graphics and interactive techniques. :119-128.
1996. Spatiotemporal representations for visual navigation. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1064:671-684.
1996. Spatiotemporal representations for visual navigation. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1064:671-684.
1996. On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
1996. Where is information visualization technology going? Proceedings of the 9th annual ACM symposium on User interface software and technology. :75-77.
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.