Publications

Export 1669 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
1994
Bhattacharyya SS, Lee EA.  1994.  Looped schedules for dataflow descriptions of multirate signal processing algorithms. Formal Methods in System Design. 5(3):183-205.
Bederson BB, Wallace RS, Schwartz EL.  1994.  A miniature pan-tilt actuator: the spherical pointing motor. IEEE Transactions on Robotics and Automation. 10(3):298-308.
Rivlin E, Botafogo R, Shneiderman B.  1994.  Navigating in hyperspace: designing a structure-based toolbox. Communications of the ACM. 37(2):87-96.
Atallah GC, Ball MO, Baras JS, Goli SK, Karne RK, Kelley S, Kumar HP, Plaisant C, Roussopoulos N, Shneiderman B et al..  1994.  Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
Atallah GC, Ball MO, Baras JS, Goli SK, Karne RK, Kelley S, Kumar HP, Plaisant C, Roussopoulos N, Shneiderman B et al..  1994.  Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
Sahinalp S, Vishkin U.  1994.  On a parallel-algorithms method for string matching problems (overview). Algorithms and ComplexityAlgorithms and Complexity. 778:22-32.
Bienkowski MA, desJardins M.  1994.  Planning-based integrated decision support systems. Artificial Intelligence Planning Systems: Proceedings of the Second International Conference (AIPS-94). :196-201.
Brill E, Resnik P.  1994.  A rule-based approach to prepositional phrase attachment disambiguation. Proceedings of the 15th conference on Computational linguistics-Volume 2. :1198-1204.
Borah M, Bajwa RS, Hannenhalli S, Irwin MJ.  1994.  A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.
Borah M, Bajwa RS, Hannenhalli S, Irwin MJ.  1994.  A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.
McGarry F, Pajerski R, Page G, Waligora S, Basili VR.  1994.  Software Process Improvement in the NASA Software Engineering Laboratory..
Wallace RS, Ong PW, Bederson BB, Schwartz EL.  1994.  Space variant image processing. International Journal of Computer Vision. 13(1):71-90.
Berkman O, JaJa JF, Krishnamurthy S, Thurimella R, Vishkin U.  1994.  Top-Bottom Routing around a Rectangle is as Easy as Computing Prefix Minima. SIAM Journal on Computing. 23(3):449-465.
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1995
Berkman O, Vishkin U.  1995.  Almost fully-parallel parentheses matching. Discrete applied mathematics. 57(1):11-28.
Varshney A, Agarwal P, Brooks F, Wright W, Weber H.  1995.  Automatic generation of multiresolution for polygonal models. First Workshop on Simulation and Interaction in Virtual Environments.
El-Sayed NM, Alarcon CM, Beck JC, Sheffield VC, Donelson JE.  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.
Porter A, Votta LG, Basili VR.  1995.  Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
Varshney A, Brooks Jr FP, Manocha D, Wright WV, Richardson DC.  1995.  Defining, Computing, and Visualizing Molecular Interfaces. Proceedings of the 6th conference on Visualization '95. :36–-36–.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Bhattacharyya SS, Buck JT, Ha S, Lee EA.  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.
Bhattacharyya SS, Buck JT, Ha S, Lee EA.  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.
Varshney A, Agarwal PK, Brooks Jr FP, Wright WV, Weber H.  1995.  Generating levels of detail for large-scale polygonal models. CS-1995-20
Braccini C, De Floriani L, Vernazza G.  1995.  Image Analysis and Processing: 8th International Conference, Iciap '95, San Remo, Italy, September 13-15, 1995 : Proceedings.
Brodsky T, Fermüller C, Aloimonos Y.  1995.  The information in the direction of image flow. , International Symposium on Computer Vision, 1995. Proceedings. :461-466.

Pages