Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
1993
Roussopoulos N, Economou N, Stamenas A.  1993.  ADMS: a testbed for incremental access methods. IEEE Transactions on Knowledge and Data Engineering. 5(5):762-774.
Vishkin U.  1993.  Advanced parallel prefix-sums, list ranking and connectivity. Synthesis of Parallel Algorithms. :215-257.
Arya S, Mount D.  1993.  Algorithms for fast vector quantization. Data Compression Conference, 1993. DCC '93.. :381-390.
Osada M, Liao H, Shneiderman B.  1993.  Alpha Slider: Searching Textual Lists with Sliders. Institute for Systems Research Technical Reports.
Osada M, Liao H, Shneiderman B.  1993.  Alphaslider: Development and Evaluation of Text Retrieval Methods Using Sliders. Ninth Symposium on Human Interface. :91-94.
Cleaveland R.  1993.  Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
Das R, Hwang YS, Uysal M, Saltz J, Sussman A.  1993.  Applying the CHAOS/PARTI library to irregular problems in computational chemistry and computational aerodynamics. Scalable Parallel Libraries Conference, 1993., Proceedings of the. :45-56.
Arya S, Mount D.  1993.  Approximate nearest neighbor queries in fixed dimensions. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :271-280.
Arya S, Mount D.  1993.  Approximate nearest neighbor searching. Proceedings of 4th Annual ACMSIAM Symposium on Discrete Algorithms (SODA’93). :271-280.
Goodrich MT, Matias Y, Vishkin U.  1993.  Approximate parallel prefix computation and its applications. Parallel Processing Symposium, 1993., Proceedings of Seventh International. :318-325.
Khuller S, Thurimella R.  1993.  Approximation Algorithms for Graph Augmentation. Journal of Algorithms. 14(2):214-225.
Mount D, Silverman R, Wu A.  1993.  On the area of overlap of translated polygons. SPIE Vision Geometry II. 2060:254-264.
Shneiderman B.  1993.  Beyond intelligent machines: just do it. IEEE Software. 10(1):100-103.
Shneiderman B.  1993.  Beyond the graphical user interface (abstract). Proceedings of the 1993 ACM conference on Computer science. :510–-510–.
Varshney A, Wright WV, Brooks Jr FP.  1993.  Bounding the number of neighbors in protein molecules. UNC-CS-TR-93-039
Liao H, Osada M, Shneiderman B.  1993.  Browsing Unix directories with dynamic queries: An analytical and experimental evaluation. Proc. Ninth Japanese Symp. Human Interface. :95-98.
Shneiderman B, LEWIS CLAYTON.  1993.  Building HCI partnerships and infrastructure. Behaviour & Information Technology. 12(2):130-135.
Shneiderman B, Lewis C.  1993.  Building Partnerships and Infrastructure. Communications of the ACM. 32(1):9-23.
Vishkin U.  1993.  A case for the PRAM as a standard programmer's model. Parallel Architectures and their Efficient Use. :11-19.
Schmidt JP, Siegel A, Srinivasan A.  1993.  Chernoff-Hoeffding bounds for applications with limited independence. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :331-340.
Cleaveland R, Parrow J, Steffen B.  1993.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
Gupta SK, Nau DS, Zhang G.  1993.  Concurrent evaluation of machinability during product design. Computer. 26(1):61-63.
Reggia JA, Peng Y, Tuhrim S.  1993.  A connectionist approach to diagnostic problem solving using causal networks. Information sciences. 70(1-2):27-48.
Dorr BJ, Voss CR.  1993.  Constraints on the Space of MT Divergences. AAAI (1993). 43:53-53.
Bederson BB, Wallace RS, Schwartz EL.  1993.  Control and design of the spherical pointing motor. , 1993 IEEE International Conference on Robotics and Automation, 1993. Proceedings. :630-636vol.2-630-636vol.2.

Pages