default search action
ACM Conference on Computer Science 1993: Indianapolis, IN, USA
- Stan C. Kwasny, John F. Buck:
Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993. ACM 1993, ISBN 0-89791-558-5 - 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 Thuraisingham, William R. 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. Mahadeva 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 W. 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: