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