ACM Conference on Computer Science 1987: St. Louis, Missouri, USA

@proceedings{DBLP:conf/acm/1987,
  editor    = {Pat Davis and
               Vicki McClintock},
  title     = {Proceedings of the 15th ACM Annual Conference on Computer Science,
               St. Louis, Missouri, USA, February 16-19, 1987},
  booktitle = {ACM Conference on Computer Science},
  publisher = {ACM},
  year      = {1987},
  isbn      = {0-89791-218-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Phillip C.-Y. Sheu:
  Conjunctive planning problems with constrained goal interactions. 2-6
  
• Thomas Sudkamp, Robert Shanahan:
  Analysis of heurisitc search models. 7-15
  
• Frank N. Kautzmann III:
  A methodology for multiple rule system integration and resolutions within a singular knowledge base. 16-26
  
• Neven Jurkovic:
  An intelligent tutor for high-school algebra. 27-31
  
• T. M. Rao, Sharon Coleman, Carol Hollenbeck:
  ADVISOR - an expert system for student advisement. 32-35
  
• Mary Micco:
  An undergraduate curriculum in expert systems design or knowledge engineering. 36-39
  
• Yoshifumi Ooyama, Masahiro Miyazaki, Satoru Ikehara:
  Natural language processing in a Japanese text-to-speech system. 40-47
  
• Lynne E. Davis, Joseph Woodland:
  Retirement savings plan advisor: a knowledge-based expert system for tax deferred savings investing. 48-52
  
• Gautam Biswas, Manton M. Matthews, Antang Huang:
  An assistance system for UNIX text formatters. 53-57
  
• G. Blaschek, Gustav Pomberger:
  Moses: a graphics oriented software development environment. 58-66
  
• Alan Heirich:
  UIG: the User Interface Generator. 67-73
  
• Sushil V. Pillai, Ramanatham Gudipati, Leszek Lilien:
  Design issues and an architecture for a heterogenous multidatabase system. 74-79
  
• James R. Rowland, Gregg T. Vesonder:
  Incremental conceptual clustering from existing databases. 80-87
  
• Raj Sekhar Pamula, Pradip K. Srimani:
  Checkpointing strategies for database systems. 88-97
  
• Richard J. Reid:
  Interactive digital-simulation laboratory gains special components. 98-102
  
• Yoram Ofek:
  A family of conservative codes with block delimiters for decoding without a phase-locked loop. 103-107
  
• Herbert H. Snyder, Ralph W. Wilkerson:
  A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation. 108-113
  
• Sreerama K. Karukonda, Edward T. Lee, Peter P. Chen:
  Design of a pictorial knowledgebase. 114-119
  
• Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee:
  An expert system for bibliographic retrieval using Prolog. 120-127
  
• Ronald L. Sobczak, Manton M. Matthews, Gautam Biswas:
  A response generation mechanism for an intelligent active assistance system. 128-132
  
• Lee A. Becker, Luke Immes:
  An approach to automating knowledge acquisition for expert systems: annotated traces -> diagnostic hierarchies. 133-137
  
• Wei Si Jiang, William G. Wee:
  Commonsense reasoning in Prolog. 138-143
  
• Stuart Hirshfield:
  Coordinating existing expert systems. 144-148
  
• Yuan Y. Sung:
  Sensitivity problem in dynamic file organization. 149-153
  
• Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley:
  An algebraic language for graphical query formulation using an extended entity-relationship model. 154-161
  
• C. Alec Chang, Michael S. Leonard, H. Brian Hwarng, Tzong-Huie Shiau:
  A pegging method for decomposing relations in databases. 162-165
  
• A. Mahanti, K. Ray:
  Heuristic search in networks with modifiable estimate. 166-174
  
• Peter J. Varman, Kshitij Doshi:
  Improved parallel algorithms for the depth-first search and monotone circuit value problems. 175-182
  
• Roger L. Wainwright:
  Quicksort algorithms with an early exit for sorted subfiles. 183-190
  
• Hilda M. Standley:
  A very high level language for large-grained data flow. 191-195
  
• Chyuan Samuel Hsieh, Elizabeth A. Unger:
  Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. 196-204
  
• Farhad Shahrokhi, David W. Matula:
  On solving large maximum concurrent flow problems. 205-209
  
• John C. Thompson, Reza Sanati-Mehrizy:
  Formalization of operations and function definitions in a functional programming language for data structures. 210-219
  
• Kelly J. Dotson:
  A pivotal function approach to estimation and prediction for a model of software reliability. 220-224
  
• Mary Anne O'Connor, Karen A. Lemone:
  A method to improve testing and debugging in robotic programs using attribute grammars. 225-230
  
• Liwu Li, T. Anthony Marsland:
  A parallel algorithm for finding a maximum flow in 0-1 networks. 231-234
  
• Ralph W. Wilkerson:
  A routing algorithm for three stage rearrangeable Clos networks. 235-238
  
• Arvin Park, Krishnaswamy Balasubramanian:
  Improved sorting algorithms for parallel computers. 239-244
  
• Guan Jiwen, Victor R. Lesser:
  On efficient balanced codes. 245-248
  
• Elizabeth A. Hansen, Max R. Raines:
  A computer based model of life transitions. 249-253
  
• Harold W. Martin, Terrance L. Seethoff:
  On optimal algorithms for solving bi-valued game trees. 254-260
  
• Wlodzimierz M. Zuberek:
  Modified M-timed Petri nets in modelling and performance evaluation of systems. 261-268
  
• Charles M. Shub:
  Exploring operating system internals with workstations. 269-272
  
• Jan Kazimierczak:
  Concept and synthesis of an operating system nucleus implemented in computer hardware. 273-284
  
• Warren Harrison:
  An extensible static analysis tool for COBOL programs. 285-291
  
• Dewayne E. Perry, Gail E. Kaiser:
  Infuse: a tool for automatically managing and coordinating source changes in large systems. 292-299
  
• Donald J. Bagert, Donald K. Friesen:
  A multi-language syntax-directed editor. 300-302
  
• Randall E. Kobetich:
  Information for competitive advantage: implications for computer science education. 303-306
  
• Melvin Simms:
  A partnership - school and computer science work experiences: a career component to the curriculum. 307-310
  
• Donna M. Kaminski:
  Brit bits: computer science in British further education. 311-314
  
• M. C. Lee, P. A. Samet:
  Intelligent computer-based instruction. 315-319
  
• Eli Cohen:
  What is computer literacy: the sham, the imposter, and the misdirected. 320-322
  
• Stephen R. Ruth, Ella P. Gardner, Barry Render:
  Examining the problems of computer-based anxiety: a systemic approach. 323-326
  
• John Sigle:
  Bringing algorithms to life. 327-335
  
• Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
  Teaching principles of computer programming. 336-341
  
• Andrew Tellop:
  Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instruction. 342-347
  
• Richard Pikes:
  The role of truth maintenance in model-based reasoning (abstract only). 349
  
• Mustafa A. Kamal:
  Intelligent systems for statistical process control in steel (abstract only). 351
  
• Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz:
  Manhattanville College expert academic advisor - preliminary report (abstract only). 352
  
• Elizabeth S. Adams, Mary W. Gray:
  Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only). 353
  
• William R. Gerlt:
  ARMS: arbitrary robot modelling system (abstract only). 354
  
• Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki:
  Project management expert system (abstract only). 355
  
• Gail F. Halkias, Kevin D. Reilly:
  Human factors considerations in the design of a multiple source expert system for military applications (abstract only). 356
  
• Dennis S. Mok:
  The design of a packet capturing system for measuring IEEE802.5 Token-Ring performances (abstract only). 357
  
• M. M. Chawla, R. Subramanian, H. L. Sathi:
  A fourth order spline method for singular two-point boundary value problems (abstract only). 358
  
• Wei Si Jiang, William G. Wee:
  A frame-based approach to hardware verification (abstract only). 359
  
• Haerim Lee, Warren Moseley:
  A parallel inference engine (PIE) (abstract only). 360
  
• R. Shantaram, John Stewart:
  An algorithm to minimally decompose a rectilinear figure into rectangles (abstract only). 361
  
• David Y. Y. Yun, Y. Yun, Chang Nian Zhang:
  Formal verification of systolic networks using theorem proving techniques (abstract only). 362
  
• Ricardo Ferré:
  An algebraic approach to multidimensional convolution (abstract only). 363
  
• Lung Chiang Wu, Harry K. Edwards:
  A mixed integer mathematical programming model solution using branch and bound techniques (abstract only). 364
  
• Narayan Murthy:
  Min-max sort: a simple sorting method (abstract only). 365
  
• Robert L. Sedlmeyer, Marc J. Lipman:
  Property computation in Grapple (abstract only). 366
  
• Christos Nikolopoulos:
  The theoretical distribution of the Goodman-Kruskal statistic (abstract only). 367
  
• C. B. Balogh, M. E. Balogh:
  A relational data model to represent meaning in natural language sentences (abstract only). 368
  
• Behrooz K. Seyed-Abbassi, John C. Thompson:
  Grammatical relational database model (abstract only). 369
  
• D. R. Beuerman:
  Database prototyping and implementation (abstract only). 370
  
• Sang Hyuk Son:
  Reliable distributed database systems (abstract only). 371
  
• R. B. Abhyankar, R. L. Kashyap:
  Inter-relational information and incompleteness in relational databases (abstract only). 372
  
• James E. Benjamin:
  Comparative analysis of dBase by students (abstract only). 373
  
• Trong Wu:
  Space saving key-lock access control system (abstract only). 374
  
• R. B. Abhyankar, N. Baharam:
  Logic programming in LISP with controlled search (abstract only). 375
  
• Bernard Huet:
  Integration of problem-solving entities and processing entities in a coherent model; basis of a method of application (abstract only). 376
  
• Jerry D. Smith:
  Implementing knowledge bases on secondary storage (abstract only). 377
  
• Frank D. Anger, Rita V. Rodríguez, Douglas D. Dankel II:
  Toward more efficient and flexible expert systems via database design (abstract only). 378
  
• Michael L. Morgan, Michael L. Arington:
  MEND (abstract only): a self-improving diagnostic with deep knowledge. 379
  
• James R. Slagle, Michael R. Wick:
  A journalistic explanation facility for an expert system shell (abstract only). 380
  
• Thomas R. Leap:
  Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only). 381
  
• Edward L. Bosworth Jr.:
  The adaptability of Ada as a language for expert systems (abstract only). 382
  
• Kenneth R. Lee:
  Simultaneous presentation in text generation (abstract only). 383
  
• James A. Davis:
  A functional language architecture that supports fine-grain parallelism (extended abstract). 384
  
• David J. Thuente:
  Critique of SIMAN as a programming language (abstract only). 385
  
• Gregory A. Frascadore:
  Combining explanation based generalization with the learning of macro operators (abstract only). 386
  
• Amos O. Olagunju:
  In search of heuristics for keyword detection (abstract only): my source of discontent. 387
  
• Roger L. Norton:
  Information systems as implementations (abstract only). 388
  
• Michael V. Doran, Steven W. Sheasby, Victor J. Law:
  SLAW (abstract only): a language free environment - future directions and research. 389
  
• T. F. Higginbotham:
  Software protection of micro computer software (abstract only). 390
  
• M. B. Ayati:
  On the identity of decision support systems (abstract only). 391
  
• Xiaobo Li:
  A probabilistic similarity index between binary vectors for questionnaire data analysis (abstract only). 392
  
• Chaman L. Sabharwal:
  Computation of pressure distribution on the surface of a vehicle (abstract only). 393
  
• James D. Factor, Chaman L. Sabharwal:
  Representation of an arbitrary tubular surface for CAD/CAM (abstract only). 394
  
• T. K. Ho, Edward T. Lee, T. T. Ho:
  Syntactic approach to image analysis (abstract only). 395
  
• Edward T. Lee, R. T. Wu, C. C. Huang:
  Image measurement and recognition (abstract only). 396
  
• Douglas S. Green, David C. Brown:
  Qualitative reasoning about fit (abstract only). 397
  
• Karl Rehmer, Linda Rising:
  A geometry package in Ada (abstract only). 398
  
• Neelima Shrikhande:
  Shape from projected light grid (abstract only). 399
  
• L. W. Brinn:
  A polygon matching problem in computer vision (abstract only). 400
  
• Georges G. Grinstein:
  IGKS (abstract only): an integrated image processing and graphics environment. 401
  
• Thomas Philip:
  Using animated color graphics to illustrate software and hardware organizations (abstract only). 402
  
• James Harris, Galen Rupp:
  Expert systems in lease accounting (abstract only). 403
  
• Begonia Bi-Hsia Tai, Leonard H. Weiner:
  PCDEC, an interactive decision table system for personal computers (abstract only). 404
  
• Domenick J. Pinto, Sandra K. Honda:
  A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only). 405
  
• Yin-min Wei, Edgar Howell:
  What is the proper size of a program module? (abstract only). 406
  
• Darleen V. Pigford, Greg R. Baur:
  The design of an applications development system for a laser videodisc workstation (abstract only). 407
  
• David A. Scanlan:
  A niche for structured flowcharts (abstract only). 408
  
• Linda Rising:
  A comparison of two object-oriented design methodologies (abstract only). 409
  
• John A. Cross:
  Peer group software reviews in university education for software engineering (abstract only). 410
  
• Michael V. Doran:
  An expert tutor in the SLAW programming environment (abstract only). 411
  
• Kathleen O'Neil Lossau:
  KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. 412
  
• R. Sadananda, Nizam Uddin Ahmed:
  Towards conceptualisation of physical object propositions (abstract only). 413
  
• Madhukar N. Thakur, John Dinsmore:
  Time representation based on knowledge partitioning (abstract only). 414
  
• Marc J. Lipman, Robert L. Sedlmeyer:
  Knowledge and reasoning in graph theory research (abstract only). 415
  
• Kai-Hsiung Chang:
  A multi-agent planning system (abstract only). 416
  
• Joy M. Callan:
  Do women fear computers? (abstract only). 417
  
• Enrique V. Kortright:
  Expert-VSim (abstract only): an expert simulation environment. 418
  
• Mahmoud A. Manzoul, Venkateshwar B. Rao:
  A fuzzy-power factor correction (abstract only). 419
  
• Robert A. Fleck Jr., Ruth Ann P. Fleck:
  Robots and management techniques (abstract only). 420
  
• Patrick D. Krolak:
  Lincoln log factory of the future (LIFOF) (abstract only). 421
  
• Wen-Kai Chung, William B. Day:
  The process allocation in parallel interpretation of logic programs (abstract only). 422
  
• Zhixi Fang, Xiaobo Li:
  A parallel processing approach to image object labeling problems (abstract only). 423
  
• Roger Olmstead:
  Compilers and parallel architectures (abstract only): sequential to parallel mapping strategies. 424
  
• Pierre Jouvelot:
  Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. 425
  
• Aron K. Insinga, Karen A. Lemone:
  Parsing in a multiprocessor environment (abstract only). 426
  
• Raghava G. Gowda:
  Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study. 427
  
• T. F. Higginbotham:
  The changing role of the university computer center (abstract only). 428
  
• Clinton R. Foulk:
  Teaching assembly language on the Macintosh (abstract only). 429
  
• Harvey Glass:
  On the use of personal computers in teaching the principles of concurrent processing (abstract only). 430
  
• Raghava G. Gowda, Leon E. Winslow:
  Software engineering at the University of Dayton (abstract only). 431
  
• J. Paul Myers Jr.:
  Adaptive approaches to structural software testing (abstract only). 432
  
• Mahmoud A. Manzoul, Jia-Yuan Han:
  Realization of a multi-valued inner product step processor using CCD's (abstract only). 433
  
• Mahmoud A. Manzoul:
  A quaternary complex number CCD adder (abstract only). 434
  
• Rosalee Nerheim:
  A parallel architecture for rapid image generation and analysis (abstract only). 435
  
• Doron Tal:
  A multiprogramming stand alone systolic data flow machine (abstract only). 436
  
• R. Chaudhuri, Hartmut Höft:
  On rational solution of the state equation of a finite automation (abstract only). 437
  
• Chang Nian Zhang, Behrooz Shirazi, David Y. Y. Yun:
  Computing multiple modulo summation (abstract only): a new algorithm, its VLSI designs and applications. 438
  
• David M. Mount, Ruth Silverman:
  Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary results. 439
  
• H. Levinson, Ruth Silverman:
  Algorithms for paths in the lattice of topologies on finite sets (abstract only). 440
  
• Rhys Price Jones:
  Surviving the many-person dilemna (abstract only). 441
  
• Gerald J. Stuzin:
  An expert system for tuning a macroeconometric model (abstract only). 442
  
• Prabodh K. Goel, Bruce R. Long:
  Computer use and grades (abstract only). 443
  
• Abraham Waksman:
  Simulating human problem solving which requires successive decisions (abstract only). 444
  
• Paul J. Will:
  A demographic and attitudinal profile of general education students in a CS survey course (abstract only). 445
  
• Henry Stewart Austin:
  Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only). 446
  
• Robert Leeper:
  Conducting a survey of community computer resources (abstract only). 447
  
• Jane M. Fritz:
  An evaluation of presentation methods for CAL (abstract only). 448
  
• Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick:
  Predicting success of a beginning computer course using logistic regression (abstract only). 449
  
• Kathleen Pearson:
  Professional education for secondary computer science (abstract only). 450
  
• Dale K. Hockensmith:
  Conducting a survey of computer technology graduates (abstract only). 451
  
• J. M. Gardner, J. H. Morrel, K. E. Lagle:
  An expert system for evaluation of sports injuries (abstract only). 452
  
• B. Pille, L. R. Medsker:
  Groundwater model selector (abstract only). 453
  
• S. Cole, Larry R. Medsker, J. H. Morrel:
  An expert system for selecting a development tool (abstract only). 454
  
• K. E. Lagle, J. M. Gardner, J. H. Morrel, Larry R. Medsker:
  Programming language selector (abstract only). 455
  
• T. Reid, Larry R. Medsker:
  College guidance counselor (abstract only). 456
  
• Robert A. Schmitt:
  A reconfigurable software style expert system (abstract only). 457
  
• D. W. Jacobson:
  A distributed measurement technique for an operating ethernet network (abstract only). 458
  
• Abdulraouf Y. Al-Hallaq:
  Robustness of the destination tag based routing algorithm for the control of unique path networks (abstract only). 459
  
• Sanjiv Ahuja:
  On communication software testing (abstract only). 460
  
• Sherry Lesiker:
  Implementation of a local area network (abstract only). 461
  
• K. K. Bagchi, P. K. Das, B. B. Bhaumik:
  An approach to parallel architecture modelling (abstract only). 462
  
• Yesh C. Pendarkar:
  The porting of XINU to the system 370 VM/CMS environment (abstract only). 463-464
  
• H. W. Tyler, G. Ramakrishnan:
  Load leveling for control of distributed processing systems (abstract only). 465