![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.