The SCEAS System
Navigation Menu

Conferences in DBLP

ACM Annual Computer Science Conference (CSC) (acm)
1986 (conf/acm/1986)

  1. Robert A. Kowalski
    The limitation of logic. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:7-13 [Conf]
  2. William A. Kornfeld
    The purpose and promise of logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:15-17 [Conf]
  3. Kenneth A. Bowen
    New directions in logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:19-27 [Conf]
  4. A. Nico Habermann
    Technological advances in software engineering. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:29-37 [Conf]
  5. Richard E. Fairley
    The role of academe in software engineering education. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:39-52 [Conf]
  6. Laszlo A. Belady
    Software engineer, the system designer. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:53-55 [Conf]
  7. L. M. Sweet
    A model for growth in the intelligent automation industry: case studies in robotics and artificial intelligence. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:57-59 [Conf]
  8. Tomás Lozano-Pérez, Rodney A. Brooks
    An approach to automatic robot programming. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:61-69 [Conf]
  9. Takeo Kanade, Charles E. Thorpe, William Whittaker
    Autonomous land vehicle project at CMU. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:71-80 [Conf]
  10. John C. Thompson, Dongpil Shin
    Data flow relation processor for knowledge base machine. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:83-92 [Conf]
  11. Sharilyn A. Thoreson, Arlen N. Long, John R. Kerns
    Performance of three dataflow computers. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:93-99 [Conf]
  12. Wlodzimierz M. Zuberek
    M-timed Petri nets and Markov chains in modelling of computer systems. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:101-106 [Conf]
  13. Rajiv Gupta, Mary Lou Soffa
    SHAPE: a highly adaptable and parallel system. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:107-114 [Conf]
  14. Marius V. A. Hâncu, Kenneth C. Smith
    DYPP - A VLSI supercomputer architecture supporting two-level fault tolerance, program graph injection and data levitation concepts. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:115-120 [Conf]
  15. Kang Ji-chang
    Supercomputer with analog-computer-like architecture. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:121-127 [Conf]
  16. A. Yavuz Oruç, M. Yaman Oruç
    Linear-time algorithms for programming cellular permutation arrays. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:129-136 [Conf]
  17. A. Yavuz Oruç, M. Mittal
    New algorithms for realizing paths and permutations through cube-connected networks. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:137-146 [Conf]
  18. Suchai Thanawastien, Pradip K. Srimani
    A class of modified single stage S/E networks. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:147-154 [Conf]
  19. Thomas Sudkamp
    Grammars for functional languages. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:155-164 [Conf]
  20. A. F. Sanders
    Activity productions for graph grammars. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:165-171 [Conf]
  21. Keith E. Humenik, Roger S. Pinkham
    Production probability estimators for context-free grammars. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:173-181 [Conf]
  22. Robert D. Dixon, David Hemmendinger
    Analyzing synchronization problems by using event histories as languages. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:183-188 [Conf]
  23. Francesco Gregoretti, Zary Segall
    Programming for observability support in a parallel programming environment. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:189-197 [Conf]
  24. Luigi V. Mancini, Maciej Koutny
    Formal specification of N-modular redundancy. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:199-204 [Conf]
  25. Sanjiv Taneja, Bruce W. Weide
    Graphical description and run-time environments for Real-Time software. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:205-211 [Conf]
  26. Robert G. Reynolds, Drew Roberts
    PARTIAL: a tool to support the metrics driven design of Ada programs. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:213-220 [Conf]
  27. Chen-Yu Sheu
    Knowledge-based query processing in object bases. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:221-225 [Conf]
  28. José C. F. M. Neves, George F. Lugger, João M. Carvalho
    A formalism for views in a logic data base. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:227-231 [Conf]
  29. Robert C. Shock
    An algorithm for batch updates. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:233-236 [Conf]
  30. Paul Hartono Singgih, Howard B. Demuth, Martin T. Hagan, Roger L. Wainwright
    Parallel merge-sort algorithms on the HEP. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:237-244 [Conf]
  31. Massoud Hakami
    Revised tree sort. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:245-249 [Conf]
  32. Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri
    Use of composite index in DDBMS. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:251-260 [Conf]
  33. Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March
    ODM: an object oriented data model for design databases. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:261-269 [Conf]
  34. Victor J. Streeter
    Some relational query language design issues and the language MQL. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:271-276 [Conf]
  35. Shahram Javey
    Specification of discontinuities with conditional expressions. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:277-285 [Conf]
  36. Rex E. Gantenbein, Douglas W. Jones
    Dynamic binding of separately compiled objects under program control. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:287-292 [Conf]
  37. Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe
    Dynamic optimization of covered tail recursive functions in applicative languages. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:293-299 [Conf]
  38. Henry W. Davis, Randy B. Pollack, Dennis J. Golden
    A technique for comparing search algorithm run-times. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:301-308 [Conf]
  39. Amitava Bagchi, Anup K. Sen
    Heuristic search in general tree structures: an average case analysis. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:309-318 [Conf]
  40. Harold W. Martin
    Polynomial evaluations of bi-valued game trees. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:319-326 [Conf]
  41. Marc J. Lipman, Robert L. Sedlmeyer
    Developments in an expert system for graph theory investigation. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:327-330 [Conf]
  42. Klaus K. Obermeier
    GROK - a knowledge-based text processing system. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:331-339 [Conf]
  43. Gerard K. Rambally
    A theory of student modelling in instructional expert systems. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:341-348 [Conf]
  44. Robert B. Terwilliger, Roy H. Campbell
    PLEASE: Predictable Logic based ExecutAble SpeCifications. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:349-358 [Conf]
  45. Won D. Lee, Sylvian R. Ray
    Probabilistic rule generator. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:359-366 [Conf]
  46. Alex Meystel, A. Guez, G. Hillel
    Minimum time path planning for robot motion in obstacle strewn environment. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:367-376 [Conf]
  47. Norman E. Gibbs, Clyde Chittister, James S. Collofello, Gary A. Ford, A. Joseph Turner
    The Software Engineering Institute (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:379-380 [Conf]
  48. Judy Bamberger, Richard E. Fairley, Joe Mason, Charles McKay, Dudrey Smith
    Are the universities meeting the needs of the industry? Is industry holding up its end of the deal? (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:381-384 [Conf]
  49. Dennis Goldenson, Ravinder Chandhok, David Garlan, Philip L. Miller, Mark C. Tucker
    Integrated programming environments based on structure editing (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:385- [Conf]
  50. C. Lee Giles, Alan Huang, Fred J. Leonberger, John A. Neff
    Future directions in optical computing (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:387- [Conf]
  51. Bipin C. Desai, Claude Fransson, Najah Naffah, Gordon E. Stokes, George White
    AI in office automation (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:389-390 [Conf]
  52. Richard D. Edmiston, Douglas Comer, Deborah Estrin
    CSNET (panel session): using inter-organization networks to support research and advanced development in computer science. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:391-392 [Conf]
  53. Frank H. Young, Stephen J. Garland, Robert Poland, David C. Rine
    Advanced placement in Computer Science (panel session): college level computer science in the high schools. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:393- [Conf]
  54. William Mitchell, John Beidler, Christine Shannon, Waldo Roth, Bob Cupper, Tom Harbron
    Accreditation of small college computing programs(panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:395-396 [Conf]
  55. Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm Lane, Karen A. Lemone, James Quasney, Don Spencer
    Publishing a computer science textbook (panel session). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:397-398 [Conf]
  56. Gerald L. Engel, Robert L. Cannon, Robert D. Cupper, John F. Dalphin, Greg W. Scragg, Ted Sjoerdsma, A. Joe Turner
    Computer Science Accreditation and Liberal Arts Programs. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:399-402 [Conf]
  57. Yuan Shi, Noah S. Prywes
    Programming in evolving distributed environments (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:405- [Conf]
  58. Doris L. Carver
    The effect of software development practices on cost estimates (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:406- [Conf]
  59. Prabhaker Mateti, Gerald M. Radack
    Integrating data structure diagrams into source level debuggers (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:407- [Conf]
  60. Bon K. Sy, Martin E. Kaliski
    An uncertainty-based software testing model using test universe partitions (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:408- [Conf]
  61. David W. Biers, Samuel M. Bower, Frank J. DaPolito, Donald J. Polzella
    The assesment of software usability (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:409- [Conf]
  62. Linda L. Werner
    A study of 'hard to find' data processing errors (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:410- [Conf]
  63. Mark A. Roth
    Theoretical Advances in non-1NF Relational Databases. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:411- [Conf]
  64. Mehdi Owrang, Les L. Miller
    Query translation in a heterogeneous distributed database based on hypergraph models models(abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:412- [Conf]
  65. Shashi K. Gadia
    Temporal element as a primitive for time in temporal databases and its application in query optimization (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:413- [Conf]
  66. James F. Blahnik
    Relational joins on non-keyed fields (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:414- [Conf]
  67. Chen-Hua Chung
    N-Schema Approach - a generalized model for database architecture (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:415- [Conf]
  68. Peter C. Jones, Paul E. Jones
    Linguistic Correlates of data structures (abstract): the THAT language. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:416- [Conf]
  69. Harold E. Bullock, Pradip Dey, Kevin D. Reilly
    A "bee hive" model for heterogenous knowledge in expert systems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:417- [Conf]
  70. Judith L. Solano, Jack E. Leitner, Kathaleen C. Bloom
    expert system for the application of nursing diagnosis to clinical practice (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:418- [Conf]
  71. Daniel C. St. Clair, Virginia Johnson, Albert Watterstroem
    UIL - ESP - AD (abstract): an expert system for analysis and diagnoses of a space staion powersubsystem. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:419- [Conf]
  72. David C. Brown
    Expert system problem-solving applications (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:420- [Conf]
  73. James R. Slagle, John M. Long, Michael R. Wick, John P. Matts, Arthur S. Leon
    An expert system for treadmill excercise ECG test analysis (abtracts). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:421- [Conf]
  74. Roger E. Messick, James H. Ripper
    An expert assistant for qualitive curve generation in engineering (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:422- [Conf]
  75. Stuart A. Friedberg
    Hierarchical process composition (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:423- [Conf]
  76. Hany H. Ammar
    Performance models of parallel and distributed processing systems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:424- [Conf]
  77. J. A. Davis
    An internetwork system that supports replicated data (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:425- [Conf]
  78. D. W. Jacobson
    Network protocol analysis (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:426- [Conf]
  79. Hasan S. AlKhatib
    A tokenless ring protocol for local area networks (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:427- [Conf]
  80. Michael A. Baltrush, Anita J. La Salle
    Advances in communications (abstract): implementing the X.400 standard. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:428- [Conf]
  81. Stanislaw Jarzabek
    Generation of software production environments (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:429- [Conf]
  82. Gayle J. Yaverbaum, Oya Culpan
    Current research motivational constraints in the user environment (abstract): are they present. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:430- [Conf]
  83. Raghava G. Gowda, James A. Senn, Stanley L. Saxton
    Group cohesiveness and software productivity (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:431- [Conf]
  84. Alan W. Carpenter Sr.
    A multiple-product production simulation system for the micro-computer environment (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:432- [Conf]
  85. Donald J. Bagert
    IMEGS (abstract): an incremental multi-language editor generator and system. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:433- [Conf]
  86. A. Gregory Starling, Roy J. Fuller
    Permutations for parallel algorithms (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:434- [Conf]
  87. Starrett C. Kennedy
    Engineered computer language (abstract): beyond structured programming. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:434- [Conf]
  88. Yuksel Uckan
    An intelligent system for data base management (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:435- [Conf]
  89. Wei Si Jiang, William G. Wee
    An approach to exploiting a database as a frame-like knowledge base (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:436- [Conf]
  90. Jerry D. Smith
    Robust knowledge bases (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:437- [Conf]
  91. Ralph Zimmermann Jr., Jerry Canada Jr.
    AND and OR parallelism in dprolog (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:438- [Conf]
  92. Klaus K. Obermeier, David de Hilster
    DIID - Data independent interface for database (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:439- [Conf]
  93. Li-Yan Yuan
    A design method for nested relations (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:440- [Conf]
  94. Mohammad Meybodi, Kenneth Williams
    Parallel processors applied to string transformations (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:441- [Conf]
  95. Tangqui Li, Hon Wai Chun, Jing Peng, Xiru Zhang
    Segmentation in Chinese natural language understanding using a massively parallel approach (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:442- [Conf]
  96. Hon Wai Chun
    Representing temportal sequence and duration in massively parallel networks (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:444- [Conf]
  97. William S. Curran
    Parallel micros (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:445- [Conf]
  98. Simin H. Pakzad
    Fault tolerance analysis of rearrangeable interconnection networks (abstracts). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:446- [Conf]
  99. S. Venkatesan
    Convex polygon cover problem (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:447- [Conf]
  100. Fuhua Cheng, Wein-Chung Jiaan
    Finding the intersection points of a line with a polygon and its applications (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:448- [Conf]
  101. R. Chaudhuri
    Some results on the state space approach to a finite automata (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:449- [Conf]
  102. Hari B. Bidasaria
    New approach in dimensionality reduction in a general pattern recognition problem (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:450- [Conf]
  103. P. F. Lai, J. H. Fang, F. Tsay
    Waveform correlation using relational tree (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:451- [Conf]
  104. Aaron R. Todd
    A paradigm for search algorithms (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:452- [Conf]
  105. Narendra N. Datar, Uday G. Gujar, Virendra C. Bhavsar
    Analytical representation of three dimensional objects (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:453- [Conf]
  106. Zhixi Fang, Xiaobo Li
    Parallel image processing algorithms (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:454- [Conf]
  107. Ai-Chang Lu, Martin J. Biernat, Thom Grace
    Two algorithms for image display using redefinable character sets (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:455- [Conf]
  108. Paul T. Vesely
    Computer graphics support of a new era in flight test ground stations (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:456- [Conf]
  109. Yao-Tang Liao
    The PRIME 9955 implementation of the graphical kernel system (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:457- [Conf]
  110. Ramin Zabih, Raj Jain
    A performance comparison of the window systems of two LISP machines (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:458- [Conf]
  111. Khalid J. Siddiqui, D. R. Hay, Ching Y. Suen
    Evaluation of materials using a rule-based non-destructive monitoring system (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:459- [Conf]
  112. Richard E. Neapolitan
    Models for reasoning under uncertainty (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:460- [Conf]
  113. Raymond D. Gumb
    Popperian conditional probability functions for expert systems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:461- [Conf]
  114. Hon Wai Chun, Alejandro Mimo, Harry Wu
    ISCS - an intelligent system configuration shell (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:462- [Conf]
  115. G. Arthur Mihram, Danielle Mihram
    Artificial intelligence and the fifth generation, some wrong ways, the correct way (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:463- [Conf]
  116. Zhixi Fang, Jitender S. Deogun
    Closure properties of certain classes of languages under bi-language form. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:464- [Conf]
  117. Frederick J. Bourgeois III, Leornard K. Nicholson
    A programming language for cryptography (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:465- [Conf]
  118. William F. Dowling
    Attribute grammar interpretation as a model of computation (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:466- [Conf]
  119. A. V. Levitin
    Investigating a new vocabulary-length equation (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:467- [Conf]
  120. Michael J. Dedina, Howard C. Nusbaum
    PRONOUNCE (abstract): a program for pronunciation by analogy. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:468- [Conf]
  121. Susan R. Harroff, Stephen C. Harroff
    Logo (abstract): creating a microworld for language experimentation. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:469- [Conf]
  122. Robert B. Terwilliger, Roy H. Campbell
    ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:470- [Conf]
  123. Zbigniew J. Gackowski
    Specification sequence of computer information system components least constraining the designers' freedom in search of solutions (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:471- [Conf]
  124. Francoise Youssefi
    TPS (abstract): a tool for communicating software requirements. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:472- [Conf]
  125. John A. Cross
    An electronic environment for group effort in software documentation (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:473- [Conf]
  126. Frances E. Hunt, Cynthia R. Marling
    CaseDL (abstract): a design tool for specification and prototyping. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:474- [Conf]
  127. Jeffrey J. P. Tsai, Waldo C. Kabat
    Verification of software specifications using automated reasoning techniques (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:475- [Conf]
  128. Sally L. Lloyd
    Hash coding for dictionary storage and word-matching used in decoding substitution ciphers (with application to OCR) (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:476- [Conf]
  129. Blair A. Rowley
    Data compression using hash code generated tables (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:477- [Conf]
  130. S. Srinivasan
    A faster recovery from hash table (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:478- [Conf]
  131. Trong Wu, Robert Neufeld
    Design of a polyphase sort (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:479- [Conf]
  132. Richard K. Brewer
    An order f(K)N sort (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:480- [Conf]
  133. Kelly D. Crawford, Roger L. Wainwright
    Parallel sorting algorithms for insertion shell and heapsort on the HEP (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:481- [Conf]
  134. Won D. Lee, Sylvian R. Ray
    Probabilistic interference for variable certainty decisions (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:482- [Conf]
  135. William G. Gehman
    Ambiguous algorithms (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:483- [Conf]
  136. Leon Sterling
    Meta-interpreters for expert systems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:484- [Conf]
  137. Christos A. Papachristou
    Expert system approach to VLSI cell design (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:485- [Conf]
  138. Paul J. Drongowski
    A VLSI architect's assistant (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:486- [Conf]
  139. B. Murali Dharan
    Imagination as event generation (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:487- [Conf]
  140. Brian Smith, Dominic Soda, George W. Zobrist
    Lexical analysis using table look-up (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:488- [Conf]
  141. Teodor Rus, Kurt Hansen
    An algebraic approach for assembler construction (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:489- [Conf]
  142. Margaret S. Geroch, Frances L. Van Scoy
    Specialized commands for a syntax-directed editor (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:490- [Conf]
  143. W. Douglas Findley, V. Santhanam
    A practical algorithm for generating LR parsers maintaining immediate error detection (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:491- [Conf]
  144. C. Shanmugamani, Robert W. Neufeld, V. Santhanam
    Error recovery in LL(1) parsers using probabilistic grammar (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:492- [Conf]
  145. Richard L. Vore, V. Santhanam
    A generic compiler symbol management facilityy (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:493- [Conf]
  146. Farhad Shahrokhi
    An efficient flow routing algorithm to solve the maximum concurrent flow problem with applications to the packed switched telecommunication networks and cluster analysis (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:494- [Conf]
  147. Gurdeep S. Hura
    Petri nets: a graph model for the representation and analysis of concurrent systems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:495- [Conf]
  148. Amar Dev Amar, Vasanti A. Jategaonkar
    Algorithm variable and fixed charges (abstract): a case of branch-and-bound methodology for single processor scheduling system. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:496- [Conf]
  149. Stavros A. Zenios, John M. Mulvey
    Nonlinear network programming on a vector supercomputer (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:497- [Conf]
  150. Sunil R. Das
    On random testing of sequential digital logic with a high confidence measure (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:498- [Conf]
  151. Amjad Umar
    Software engineering for distributed applications (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:499- [Conf]
  152. Mary P. Bivens
    An approach to incremental register allocation (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:500- [Conf]
  153. Massoud Omidvar, John Y. Cheung
    The neural network as a prototype in the design of nonconventional computer architecture for artificial intelligence applications (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:501- [Conf]
  154. Mike Bakan, Alan Cotterman, Kim Howell, Kuldip Rattan
    A computer vision system for WSU robot (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:502- [Conf]
  155. Hu Lei, Xia Zhenuhua
    A voice input microcomputer system (VIMS) (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:503- [Conf]
  156. Brian E. Weinrich, A. S. Rogowski
    Use of conditional simulation techniques in assessingpermeability of a compacted clay liner (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:504- [Conf]
  157. Anne C. Steele, George P. Grill, Gwen S. Loy
    Gatekeeping (abstract): the technology challenge in the medium-sized firm. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:505- [Conf]
  158. Alex Bykat
    Designing an intelligent operating system consultant and teacher (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:506- [Conf]
  159. Alonzo Johnson, Hsing-Yang Lee, John Dryer
    Automated double oral auction using I.B.M PC network (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:507- [Conf]
  160. D. R. Beuerman
    REDBOP.2 (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:508- [Conf]
  161. Daniel C. St. Clair, Dominic Soda
    Modeling dynamic entities in relational databases (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:509- [Conf]
  162. James Nechvatal
    An approximation method for knapsack problems (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:510- [Conf]
  163. Curt M. White
    Design of a blocked asynchronous protocol for distributed problem solving (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:511- [Conf]
  164. H. Mary Micco, Rebecca A. Ruschel
    A survey of undergraduate computer science/information science programs in the North East United States (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:512- [Conf]
  165. Janet Hartman
    An analysis of concerns of college instructors in a computer science retraining program (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:513- [Conf]
  166. J. Michael McGrew, Mohd Mustaffa, Vincent Pedraza, John Raab
    CATSY (abstract): an electronic alternative to the chalkboard. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:514- [Conf]
  167. Barry Burd
    Teaching Ada to beginning programmers (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:515- [Conf]
  168. Emery Gathers
    Successful placement of freshman computer science majors (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:516- [Conf]
  169. Sukhen Dey, Lawrence R. Mand
    Mathematics background, prior language exposure, and perceived success in introductory computer science courses (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:517- [Conf]
  170. Ming Zhang, Jiaruo Wan, Xiaofeng Sheng, Minjin Wu
    Design and application of classroom instruction information pro cessing system (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:518- [Conf]
  171. Steve Dudley, Ronnie McGaughey
    A solution to a contemporary problem (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:519- [Conf]
  172. George M. Whitson, Pam Taylor
    A study of techniques used to obtain bibliographies in computer science (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:520- [Conf]
  173. David Bellin
    Young Hackers (abstract): geniuses or criminal? [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:521- [Conf]
  174. Patrick J. C. Lamont
    F. L. Pilling and computer graphics (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:522- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002