ACM Conference on Computer Science 1993: Indianapolis, IN, USA

• Karl M. Fant:
  A Critical Review of the Notion of Algorithm in Computer Science. 1-6
  
• D. E. Stevenson:
  Science, Computational Science, and Computer Science: At a Crossroads. 7-14
  
• Dennis J. Brueni, Baziley T. Cross, Edward A. Fox, Lenwood S. Heath, Deborah Hix, Lucy T. Nowell, William C. Wake:
  What If There Were Desktop Access to the Computer Science Literature? 15-22
  
• Edward G. Okie, James D. Arthur:
  Implicit-Specification Errors and Automatic, Trace-Based Debugging. 23-29
  
• Mansur H. Samadzadeh, Winai Wichaipanitch:
  An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing. 30-37
  
• Mark Newsome, Cherri M. Pancake, Christopher Ward:
  Visual Execution of Assembly Language Programs. 38-43
  
• Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser:
  Better Late Than Never. 44-51
  
• Randall G. Karl, Tachen Leo Lo, Daniel C. St. Clair:
  Effects of Nonsymmetric Release Times on Rate Monotonic Scheduling. 52-59
  
• David D. Langan:
  EOS: An Object-Oriented Operating System for Embedded Real-Time Applications. 60-65
  
• William F. Opdyke, Ralph E. Johnson:
  Creating Abstract Superclasses by Refactoring. 66-73
  
• Spiros Mancoridis, Richard C. Holt, David A. Penny:
  A Conceptual Framework for Software Development. 74-80
  
• John Placer:
  The Promise of Multiparadigm Languages as Pedagogical Tools. 81-86
  
• Ludo Cuypers:
  Specification Languages and Their Implementations. 87-92
  
• Steven J. Zeil:
  A Multi-Theory Constraint Satisfaction System. 93-99
  
• Eberhard Stickel:
  A Linear Programming Approach to Logical Inference. 100-106
  
• Kai-Hsiung Chang, William B. Day, Suebskul Phiphobmongkol:
  An Agent-Oriented Multiagent Planning System. 107-114
  
• Van King Tan, Eugeniusz Eberbach:
  A CSA-based Robot Plan Generator. 115-123
  
• Fuyau Lin:
  A Formalism for Specifying Communicating Processes. 123-130
  
• Sudharsan R. Iyengar, Narayan C. Debnath:
  A General Abstract Representation for the Study of Concurrent Programs. 131-136
  
• Isaac Yi-Yuan Lee, Sheng-De Wang:
  Ring-Connected Hypercubes and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks. 137-142
  
• Lu Zhang, Ken-Chih Liu:
  Towards a Relational Model for Exclusively Disjunctive Information. 143-150
  
• Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham:
  Efficient Reordering of C-PROLOG. 151-155
  
• Hideo Tashiro, Naoto Ohki, Takahiko Nomura, Teruo Yokoyama, Yutaka Matsushita:
  Managing Subjective Information in Fuzzy Database Systems. 156-161
  
• Bhavani M. Thuraisingham, William Ford:
  Parallel Processing and Trusted Database Management Systems. 162-167
  
• Xindong Wu:
  The HCV Induction Algorithm. 168-175
  
• Ken Slonneger:
  Denotational Semantics of a Calculator. 176-181
  
• David Cordes, Allen S. Parrish:
  An Incremental Approach to Software Engineering in a Science-Based Computing Curriculum. 182-188
  
• Mahmoud Boufaïda, Patrick Barril:
  Situated Planning and Resources in the Design of an Intelligent Tutorial. 189-194
  
• Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx, Richard Rasala:
  Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science. 195-200
  
• Angel Velez-Sosa, Peter A. Gloor:
  Animating Hashing Algorithms for Computer Science Education. 201-208
  
• Takayuki Dan Kimura:
  Hyperflow: A Uniform Visual Language for Different Levels of Programming. 209-214
  
• Alex S. Fukunaga, Wolfgang Pree, Takayuki Dan Kimura:
  Functions as Objects in a Data Flow Based Visual Language. 215-220
  
• Jan Kazimierczak:
  Acquisition and Representation of Knowledge on the Level of Programming Language for Automatic Programming. 221-228
  
• H. C. Harrison, Gong Qizhong:
  An Intelligent Business Forecasting System. 229-236
  
• Chun-Hung Tzeng:
  A Probability Propagation in Hypertrees. 237-242
  
• Mohammad S. Obaidat:
  WBTPE: A Priority Ethernet LAN Protocol. 243-250
  
• Wei Wei, Adrian Tang:
  An X.500 Prototype to Support Integrated Network Management. 251-256
  
• Shaun-Inn Wu, Ruey-Pyng Lu:
  Combining Artificial Neural Networks and Statistics for Stock-Market Forecasting. 257-264
  
• Jin Wang:
  Parallel Construction of Minimal Perfect Hashing Functions with Neural Networks. 265-271
  
• Jiann-Liang Chen:
  A Cascading Neural-Net for Fraffic Management of Computer Networks. 272-277
  
• Doris S. Shaw, Der-Shung Yang, James Garett, Suresh K. Bhavnani:
  Human-Computer Communication and Response. 278-283
  
• Danco Davcev, Dusan Cakmakov:
  An Application of a Multimedia Cognitive-Based Information Retrieval System (AMCIRS) in Mineralogy. 284-290
  
• Tatsuo Sato, Joung-Hoon Lim, Ken-ichi Okada, Yutaka Matsushita:
  A Multimedia Synchronization Model Described by Boolean Expressions. 291-297
  
• Norihiko Matsuura, Go Fujino, Ken-ichi Okada, Yutaka Matsushita:
  An Approach to Encounters and Interaction in a Virtual Environment. 298-303
  
• Roy Rada, Phillip Ramsey, Antonios Michailidis:
  Educational Perspectives in Collaborative Hypermedia. 304-309
  
• Carolyn Pe Rosiene, Reda A. Ammar:
  A Data Modeling Framework for the Performance Analysis of Sequential and Parallel Software. 310-317
  
• Mabo Robert Ito, A. Zaafrani:
  Data Flow Analysis for Parallel Programs. 318-325
  
• Louise E. Moser, P. M. Melliar-Smith:
  Analysis of Timing Hazards in Ada Programs. 326-331
  
• Heidi J. C. Ellis, Steven A. Demurjian:
  Object-Oriented Design and Analyses for Advanced Application Development: Progress Towards a New Frontier. 332-337
  
• Donald R. Chand, Raghava G. Gowda:
  An Exploration of the Impact of Individual and Group Factors on Programmer Productivity. 338-345
  
• Joel E. Henry, Sallie M. Henry:
  Quantitative Assessment of the Software Maintenance Process and Requirements Volatility. 346-351
  
• Marcello Visconti, Curtis R. Cook:
  Software System Documentation Process Maturity Model. 352-357
  
• Anup Kumar, Rakesh M. Pathak, Mahesh C. Gupta:
  Genetic Algorithm Based Approach for Designing Computer Network Topology. 358-365
  
• Stephen J. Hartley, Aaron H. Konstam:
  Using Genetic Algorithms to Generate Steiner Triple Systems. 366-371
  
• Mahesh C. Gupta, Yash P. Gupta, Anup Kumar:
  Genetic Algorithm Application in a Machine Scheduling Problem. 372-377
  
• Cheng-Hong Yang, Kendall E. Nygard:
  The Effects of Initial Population in Genetic Search for Time Constrained Traveling Salesman Problems. 378-383
  
• Phil Graham, S. Sitharama Iyengar:
  Double- and Triple-Step Incremental Generation of Lines. 384-389
  
• Y. Daniel Liang, Glenn K. Manacher:
  An O(nlogn) Algorithm for Finding Minimal Path Cover in Circular-Arc Graphs. 390-397
  
• T. M. Rao, Lawrence Helber:
  An Implementation of Multiple Modulus Arithmetic and Its Comparison to Floating Point Arithmetic. 398-403
  
• Koichi Yamazaki:
  The Generating Power of the Boundary NLC Graph Grammars. 404-409
  
• Paul Bucheit:
  INFANT: A Modular Approach to Natural Language Processing. 410-417
  
• Zheng Min, Roy Rada:
  SHyd - a Model for Bridging Text and Hypermedia. 418-424
  
• Bill Z. Manaris, Jason W. Pritchard:
  Constructing Natural Language Interface Applications to Operating Systems. 425-432
  
• Elizabeth S. Adams, Arnold Charles Meltzer:
  Trigrams as Index Element in Full Text Retrieval: Observations and Experimental Results. 433-439
  
• Omer Abdalla, Fazli Can:
  Node Re-usability in Structured Hypertext Systems. 440-445
  
• George F. Frazier:
  An Incremental Algorithm for Building Temporal Quadtrees. 446-452
  
• Moez Chaabouni, Soon Myoung Chung:
  The Point-Range Tree: A Data Structure for Indexing Intervals. 453-460
  
• Porter Eugene Smith, James H. Graham:
  A Simple Balanced Search Tree. 461-465
  
• Alan L. Tharp, John L. Furlani:
  The CD-ROM Foster a New Sata Structure: the B3-tree. 466-471
  
• Richard K. Brewer:
  Distribution Driven Binary Tree Balancing with R-trees. 472-474
  
• Gregory D. Speegle, Michael J. Donahoo:
  Using Statistical Sampling for Query Optimization in Heterogeneous Library Information Systems. 475-482
  
• Eugene Y. Sheng:
  On bi-level conceptual schemas. 483-488
  
• Eugene Y. Sheng:
  A Decompositional Approach to Database Constraint Enforcement. 489-496
  
• Behrooz K. Seyed-Abbassi:
  Object Oriented Relational Database with SQL Interface. 497-504
  
• Raymond Kurzweil:
  The Emergence of True Machine Intelligence in the Twenty-First Century (abstract). 507
  
• Myron W. Krueger:
  Interfacing Realities to the Human Body (abstract). 508
  
• Ben Shneiderman:
  Beyond the Graphical User Interface (abstract). 510
  
• Douglas B. Lenat:
  Computers versus Common Sense (abstract). 511
  
• S. Jerrold Kaplan:
  Pen Computing: the New Frontier (abstract). 512
  
• Karen Kukich:
  Techniques for Automatically Correcting Words in Text (abstract). 515
  
• Jonathan Wayne Mills:
  Frankestein's Insects (abstract). 516
  
• LoriLee M. Sadler:
  Developing a Comprehensive Need-Based Curriculum for Non-Computer Science Majors (abstract). 517
  
• Brian A. Rudolph, William Poucher, Nikolay Ivanov, Sven Neirynck, Raewyn Boersen, C. J. Hwang:
  The Globalized Growth of the ACM Scholastic Programming Contest (abstract). 521
  
• Stuart Harvey Rubin, David B. Fogel, John C. Hanson, Russell C. Kick, Heidar A. Malki, Charles Sigwart, Michael Stinson, Efraim Turban:
  The Impact of Machine Learning on Expert Systems. 522-527
  
• Donald J. Bagert:
  Competing in the ACM Scholastic Programming Contest (abstract). 528
  
• Herbert S. Lin, Juris Hartmanis, John R. Rice, Morton Lowengrub:
  Computing the Future: Whither Computer Science and Engineering? 530
  
• David Bellin, Paul Davis, George Eggert, Donald Gotterbarn, Eric Roberts:
  The Licensing of Computer Professionals (abstract). 532
  
• Arthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer:
  Using Scheme in the Introductory Computer Science Curriculum (abstract). 533-534
  
• Takayuki Dan Kimura, Wayne Citrin, Dan Halbert, Carl Hewitt, Norman K. Meyrowitz, Ben Shneiderman:
  Potentials and Limitations of Pen-Based Computers. 536-539
  
• Vicki L. Almstrum, Anita Borg, J. Paul Myers Jr.:
  Improving Mentoring for Women in Computer Science Fields (abstract). 540