CSC '93, Proceedings of the 1993 ACM Conference on Computer Science, February 16-18, 1993, Indianapolis, IN, USA. ACM, 1993

• 
  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