ACM Conference on Computer Science 1986: Cincinnati, Ohio, USA

@proceedings{DBLP:conf/acm/1986,
  editor    = {Lawrence A. Jehn and
               Larry A. Crum},
  title     = {Proceedings of the 14th ACM Annual Conference on Computer Science,
               Cincinnati, Ohio, USA, 1986},
  booktitle = {ACM Conference on Computer Science},
  publisher = {ACM},
  year      = {1986},
  isbn      = {0-89791-177-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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