Publications
Export 566 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is V [Clear All Filters]
1996. A methodology for query reformulation in CIS using semantic knowledge. International Journal of Cooperative Information Systems. 5(4):431-468.
1996. A Multi-Level Approach to Interlingual MT: Defining the Interface between Representational Languages. International Journal of Expert Systems. 9(1):15-51.
1996. Rounding errors in solving block Hessenberg systems. Mathematics of Computation. 65(213):115-135.
1996. Simplification envelopes. Proceedings of the 23rd annual conference on Computer graphics and interactive techniques. :119-128.
1996. Sorting strings and constructing digital search trees in parallel. Theoretical Computer Science. 154(2):225-245.
1996. Stripe: a software tool for efficient triangle strips. ACM SIGGRAPH 96 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '96. :153–-153–.
1997. Adaptive real-time level-of-detail based rendering for polygonal models. Visualization and Computer Graphics, IEEE Transactions on. 3(2):171-183.
1997. Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development. Software Engineering, International Conference on. :14-14.
1997. Collabcad: A toolkit for integrated synchronous and asynchronous sharing of cad applications. Proceedings TeamCAD: GVU/NIST Workshop on Collaborative Design, Atlanta, GA, USA. :131-137.
1997. Controlled simplification of genus for polygonal models. Visualization '97., Proceedings. :403-410.
1997. Enabling virtual reality for large-scale mechanical CAD datasets. Proceedings of ASME Design Engineering Technical Conferences, Sept. 14:17-17.
1997. An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 23(6):329-346.
1997. From algorithm parallelism to instruction-level parallelism: An encode-decode chain using prefix-sum. Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures. :260-271.
1997. Navigating static environments using image-space simplification and morphing. Proceedings of the 1997 symposium on Interactive 3D graphics.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
1998. Beyond the Epipolar Constraint: Integrating 3D Motion and Structure Estimation. 3D Structure from Multiple Images of Large-Scale Environments3D Structure from Multiple Images of Large-Scale Environments. 1506:109-123.
1998. Comparing detection methods for software requirements inspections: A replication using professional subjects. Empirical Software Engineering. 3(4):355-379.
1998. Double quaternions for motion interpolation. Proceedings of the ASME Design Engineering Technical Conference.