Publications
Export 1669 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is B [Clear All Filters]
1994. Looped schedules for dataflow descriptions of multirate signal processing algorithms. Formal Methods in System Design. 5(3):183-205.
1994. A miniature pan-tilt actuator: the spherical pointing motor. IEEE Transactions on Robotics and Automation. 10(3):298-308.
1994. Navigating in hyperspace: designing a structure-based toolbox. Communications of the ACM. 37(2):87-96.
1994. Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
1994. Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
1994. On a parallel-algorithms method for string matching problems (overview). Algorithms and ComplexityAlgorithms and Complexity. 778:22-32.
1994. Planning-based integrated decision support systems. Artificial Intelligence Planning Systems: Proceedings of the Second International Conference (AIPS-94). :196-201.
1994. A rule-based approach to prepositional phrase attachment disambiguation. Proceedings of the 15th conference on Computational linguistics-Volume 2. :1198-1204.
1994. A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.
1994. A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.
1994. Top-Bottom Routing around a Rectangle is as Easy as Computing Prefix Minima. SIAM Journal on Computing. 23(3):449-465.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1995. Automatic generation of multiresolution for polygonal models. First Workshop on Simulation and Interaction in Virtual Environments.
1995. cDNA expressed sequence tags of Trypanosoma brucei rhodesiense provide new insights into the biology of the parasite. Molecular and Biochemical Parasitology. 73(1-2):75-90.
1995. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
1995. Defining, Computing, and Visualizing Molecular Interfaces. Proceedings of the 6th conference on Visualization '95. :36–-36–.
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. Generating compact code from dataflow specifications of multirate signal processing algorithms. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on. 42(3):138-150.
1995. Generating compact code from dataflow specifications of multirate signal processing algorithms. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on. 42(3):138-150.
1995. The information in the direction of image flow. , International Symposium on Computer Vision, 1995. Proceedings. :461-466.