Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1991. Approximate parallel scheduling. II. Applications to logarithmic-time optimal parallel graph algorithms. Information and Computation. 92(1):1-47.
1991. Competitive activation mechanisms in connectionist models. Advances in control networks and large-scale parallel distributed processing models. 1:119-119.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
1991. A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
1991. Model group indexing for recognition. Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :4-9.
1991. Parallel Algorithms for Channel Routing in the Knock-Knee Model. SIAM Journal on Computing. 20(2):228-245.
1991. Review of Fundamentals of Molecular Evolution, by Li. W.-H. and D. Graur. Cladistics. 7:310-312.
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
1991. Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
1991. VLSI architectures for multidimensional transforms. Computers, IEEE Transactions on. 40(9):1053-1057.
1991. VLSI architectures for template matching and block matching. Parallel architectures and algorithms for image understanding. :3-27.
1992. An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.
1992. Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
1992. Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
1992. copia-like retrotransposons are ubiquitous among plants. Proc Natl Acad Sci USA. 89(15):7124-7128.
1992. Copia-like retrotransposons in plants: a brief introduction. The Plant Genetics Newsletter. 8(4):38-41.
1992. The effects of time delays on a telepathology user interface.. Proceedings of the Annual Symposium on Computer Application in Medical CareProc Annu Symp Comput Appl Med Care. :256-260.
1992. Efficient algorithms for computing matching and chromatic polynomials on series-parallel graphs. , Fourth International Conference on Computing and Information, 1992. Proceedings. ICCI '92. :42-45.