Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
1993
Zelkowitz MV.  1993.  Role of verification in the software specification process. Advances in computers. 36:43-109.
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
Plaisant C, Shneiderman B, Battagtia J.  1993.  Scheduling home control devices: a case study of the transition from the research project to a product. Sparks of innovation in human-computer interactionSparks of innovation in human-computer interaction. :205-205.
Bhattacharyya SS, Lee EA.  1993.  Scheduling synchronous dataflow graphs for efficient looping. The Journal of VLSI Signal Processing. 6(3):271-288.
Resnik P.  1993.  Semantic classes and syntactic ambiguity. Proceedings of the workshop on Human Language Technology. :278-283.
Reggia JA, Armentrout SL, Chou HH, Peng Y.  1993.  Simple systems that exhibit template-directed replication. Science. 259:1282-1287.
Nirkhe M, Kraus S, Perlis D.  1993.  Situated reasoning within tight deadlines and realistic space and computation bounds. Proc. Common Sense. 93
Desimone R, Wilkins DE, Bienkowski M, desJardins M.  1993.  SOCAP: lessons learned in automating military operations planning. Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems. :384-393.
Shneiderman B.  1993.  Sparks of innovation in human-computer interaction.
Guo M, Lo PC, Mount SM.  1993.  Species-specific signals for the splicing of a short Drosophila intron in vitro.. Molecular and Cellular BiologyMol. Cell. Biol.. 13(2):1104-1118.
Karl LR, Pettey M, Shneiderman B.  1993.  Speech versus mouse commands for word processing: an empirical evaluation. International Journal of Man-Machine Studies. 39(4):667-687.
Resnik P, Hearst M.  1993.  Structural ambiguity and conceptual relations. Proceedings of the Workshop on Very Large Corpora: Academic and Industrial Perspectives. :58-64.
Margono S, Shneiderman B.  1993.  A study of file manipulation by novices using commands vs, direct manipulation. Sparks of innovation in human-computer interaction. :39-39.
Gupta SK, Nau DS.  1993.  A Systematic Approach for Analyzing the Manufacturability of Machined Parts. ISR; TR 1993-76
Kolagotla RK, Yu SS, JaJa JF.  1993.  Systolic architectures for finite-state vector quantization. The Journal of VLSI Signal Processing. 5(2):249-259.
Srinivasan A.  1993.  Techniques for probabilistic analysis and randomness-efficient computation. Computer Science Technical Reports, Cornell University.
Shneiderman B.  1993.  Touchscreens now offer compelling uses. Sparks of innovation in human-computer interaction. :187-187.
Young-Myers H, Raschid L.  1993.  Transitive closure: an experimental case study of three multithreaded database algorithms on a shared memory multiprocessor. Parallel and Distributed Information Systems, 1993., Proceedings of the Second International Conference on. :255-259.
Johnson B, Shneiderman B.  1993.  Treemaps. Sparks of innovation in human-computer interaction. 284:309-309.
Landau G, Vishkin U.  1993.  Two dimensional pattern matching in a digitized image. Combinatorial Pattern Matching. :134-151.
Zelkowitz MV.  1993.  Use of an environment classification model. Proceedings of the 15th international conference on Software Engineering. :348-357.
Dorr BJ, Hendler J, Blanksteen S, Migdalof B.  1993.  Use of lexical conceptual structure for intelligent tutoring.
Hansen P C, O'Leary DP.  1993.  The Use of the L-Curve in the Regularization of Discrete Ill-Posed Problems. SIAM Journal on Scientific Computing. 14(6):1487-1503.
Chimera R, Shneiderman B.  1993.  User interface consistency: an evaluation of original and revised interfaces for a videodisk library. Sparks of innovation in human-computer interaction. :259-259.
Jensen CS, Mark L, Roussopoulos N, Sells T.  1993.  Using differential technlques to efficiently support transaction time. The VLDB JournalVLDB Journal. 2(1):75-111.

Pages