Publications
Export 3364 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is S [Clear All Filters]
1995. Data parallel programming in an adaptive environment. Parallel Processing Symposium, 1995. Proceedings., 9th International. :827-832.
1995. Dealing with complexity: uniting agents and direct manipulation (panel session). Conference companion on Human factors in computing systems. :191-192.
1995. Dealing with complexity: uniting agents and direct manipulation (panel session). Conference companion on Human factors in computing systems. :191-192.
1995. Efficient parsing for Korean and English: A parameterized message-passing approach. Computational Linguistics. 21(2):255-263.
1995. Euclidean spanners: short, thin, and lanky. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. :489-498.
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. Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
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. 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. On graded QR decompositions of products of matrices. Electronic Transactions on Numerical Analysis. 3:39-49.
1995. HUMAN VALUE AND THE FUTURE OF TECHNOLOGY. Human factors in information systems: emerging theoretical bases. :355-355.
1995. Improved approximation guarantees for packing and covering integer programs. DIMACS Technical Report.
1995. Improved approximations of packing and covering problems. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. :268-276.
1995. An integrated runtime and compile-time approach for parallelizing structured and block structured applications. IEEE Transactions on Parallel and Distributed Systems. 6(7):747-754.
1995. An integrated runtime and compile-time approach for parallelizing structured and block structured applications. IEEE Transactions on Parallel and Distributed Systems. 6(7):747-754.