default search action
ACM Conference on Computer Science 1990: Washington, DC, USA
- Arun Sood:
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990. ACM 1990, ISBN 0-89791-348-5 - Andrew Sears, Yoram Kochavy, Ben Shneiderman:
Touchscreen Field Specification for Public Access Database Queries: Let Your Fingers do the Qalking. 1-7 - D. G. Shin:
Semantics Modeling Issues for Processing Natural Language Database Queries. 8-14 - John Sieg Jr.:
A Tool Supporting Query Optimization and Program Transformation Techniques. 15-21 - Keqin Li, Kam-Hoi Cheng:
A Two Dimensional Buddy System for Dynamic Resource Allocation in a Partitionable Mesh Connected System. 22-27 - Tai-Kuo Woo, Stanley Y. W. Su, Richard E. Newman-Wolfe:
Enhancing the Performance of a Dynamically Partitionable Bus Network Using a Graph Coloring Algorithm. 29-36 - Anna Hac:
Distributed Multicasting Algorithm in a Wide Area Network. 37-42 - Ewa M. Kubicka, Grzegorz Kubicki, Ignatios Vakalis:
Using Graph Distance in Object Recognition. 43-48 - Young C. Wee, Seth Chaiken, Dan E. Willard:
Computing Geographic Nearest Neighbors Using Monotone Matrix Searching (Preliminary Version). 49-55 - Joseph F. Pekny, Donald L. Miller:
A Parallel Branch and Bound Algorithm for Solving Large Asymmetric Traveling Salesman Problems. 56-62 - Jin Wang, Verlynda Dobbs, Henry W. Davis:
Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics. 63-69 - Appie van de Liefvoort:
An Iterative Solution to the Four-Peg Tower of Hanoi Problem. 70-75 - Martin J. Shepperd, Darrel C. Ince:
Multi-Dimensional Modelling and Measurement of Software Designs. 76-81 - Robert G. Reynolds, Jonathan I. Maletic:
An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process. 82-88 - James M. Butler, A. Yavuz Oruç:
PSB Graphs for Simulating Cooperative and Distributed Program Behavior. 89-95 - Jai Eun Jang:
An Optimal Fault-Tolerant Broadcasting Algorithm for a Hypercube Multiprocessor. 96-102 - Amal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson:
Parallel Unit Tangent Vector Computation for Homotopy Curve Tracking on a Hypercube. 103-108 - Barry G. Douglass, A. Yavuz Oruç:
Efficient Routing Techniques for Cooperating Processors in Dataflow Computers. 109-113 - Chaman L. Sabharwal, Thomas G. Melson, Martin D. Fraser:
Computational Intelligence in CAD/CAM Applications. 114-120 - John Van Tassel, David Hemmendinger:
Specifying and Automatically Generating Ada Tasks in Prolog. 121-127 - Mamdouh H. Ibrahim, Fred A. Cummins:
Objects with Logic. 128-133 - Ralph W. Wilkerson, Blayne E. Mayfield:
The Role of Term Symmetry in E-Completion Procedures. 134-139 - Harold W. Martin:
Transformations Between Tree Permutations and Inversion Tables. 140-146 - Ryszard Janicki, Tomasz Müldner:
A Simple Realization of a Parallel Device Recognizing Regular Trace Languages. 147-153 - Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa:
A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. 154-160 - Thomas J. Cheatham, Lee Mellinger:
Testing Object-Oriented Software Systems. 161-165 - Mansour Kazerooni-Zand, Mansur H. Samadzadeh, K. M. George:
Minimizing Ripple Recompilation in a Persistent Software Environment. 166-172 - Ahmed Louri:
A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel Processing. 173-179 - George S. Davidson:
TWIST-TOP: Transputers with I-Stores Test Out Processor. 180-193 - Isaac D. Scherson:
Definition and Analysis of a Class of Spanning Bus Orthogonal Multiprocessing Systems. 194-200 - Hyugoo Han, Kai-Hsiung Chang:
A Practical Approach to Error Recovery for Multiagent Planning Systems. 201-207 - Joseph F. Pekny, Donald L. Miller:
An Exact Parallel Algorithm for the Resource Constrained Traveling Salesman Problem with Application to Scheduling with an Aggregate Deadline. 208-214 - Jan Kazimierczak:
An Approach to Natural Language Processing in the Rule-based Expert System. 215-222 - Taizo Kojima, Kaoru Tsuru, Akira Sugimoto:
ALHARD: An Application-Oriented Language for Hardware Simulation. 223-229 - Ravinder Krishnaswamy, Ghasem S. Alijani, Shyh-Chang Su:
On Constructing Binary Space Partitioning Trees. 230-235 - Ping-Kang Hsiung, Robert H. Thibadeau:
Spacetime Visualization of Relativistic Effects. 236-243 - Paul W. Oman, Curtis R. Cook:
A Taxonomy for Programming Style. 244-250 - R. Ghosh-Roy:
An Extended Type Generalization of Standard ML Polymorphism (Abstract). 251 - Hossein Saiedian, Elizabeth A. Unger:
ABSL: An Actor-Based Specification Language for Office Automation. 252-258 - Lawrence C. N. Tseung, Keh-Chiang Yu:
The Implementation of Guaranteed, Reliable, Secure Broadcast Networks. 259-265 - Charles M. Shub:
Native Code Process-Originated Migration in a Heterogeneous Environment. 266-270 - Bruce W. Arden, Kit-Ming W. Tang:
Routing for Generalized Chordal Rings. 271-275 - Prabir Bhattacharya, Kai Qian:
Software Development: Image Processing by Template Polynomials. 281-287 - Wah-Bih Liaw, Frank M. Brown, Seung S. Park:
Towards Common Sense Planning. 281-287 - Cathy H. Wu, George M. Whitson:
Artificial Neural System for Gene Classification Using a Domain Database. 288-292 - Seth Bergmann:
Measuring Data Locality in Internal Sorting Algorithms. 293-297 - Yoon-Hwa Choi, Taechul Jung:
Probabilistic Diagnosis for Sparsely Interconnected Systems. 298-304 - Khaled M. Elleithy, Magdy A. Bayoumi:
A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms. 305-311 - Ray Ford:
A Generic Ambedded Real-Time Monitor Aubsystem. 312-318 - Heidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham:
Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation. 319-325 - V. Venugopal, Soumitra Sarkar:
Cotools: A Tool Composition Mechanism for Object-Based Environments. 326-342 - Christopher J. Merz, William E. Bond, Daniel C. St. Clair:
Matching Interval-Valued-Argument Propositions in Rule-Based Systems. 343-350 - Keung-Chi Ng, Bruce Abramson:
Consensus in a Multi-Expert System. 351-357 - Brandon L. Buteau:
A Generic Framework for Distributed, Cooperating Blackboard Systems. 358-365 - Stuart Harvey Rubin:
GMM-PAM: A Genetic Multilevel Multicategory Perceptron Associative Memory. 366-372 - Arun D. Kulkarni:
Neural Nets for Image Restoration. 373-378 - June Power:
Distributed Systems and Self-Organization. 379-384 - Sanjay Khanna, Arif Ghafoor, Amrit L. Goel:
A Parallel Compilation Technique Based on Grammar Partitioning. 385-391 - Albert Burger, Vijay Kumar:
'PRABHA' - A Distributed Concurrency Control Algorithm. 392-397 - Wei Chen:
A Formal Approach to Program Inversion. 398-403 - John A. Lewis:
An Experiment to Determine Software Reusability Factors (Abstract). 405 - Lynne Marie Davis:
Usability Tests Refine Requirements (Abstract). 406 - John W. Olson, Herbert E. Longenecker Jr.:
The Establishment and Application of a Metric for Graphical Design Language (Abstract). 407 - Scott Moore, Ronald Curtis:
A Study of the Prather Software Metric (Abstract). 408 - Donald Gotterbarn, Timothy D. Hammer:
Distributed Compilation Metrics (Abstract). 409 - Herbert E. Longenecker Jr., Syed Tariq Ali, Michael V. Doran:
Increased Productivity Using a Preprocessor for Dataflex Fourth Generation Database Language (Abstract). 410 - Linda M. Null, Johnny S. Wong:
Data Security for Object-Oriented Programming Systems Based on Inference Engines (Abstract). 411 - Robert A. Campbell, Suzanne Jones, Rachelle Cottle:
A Comparison of Object Oriented Simulation Languages (Abstract). 412 - Marguerite Summers, John D. McGregor:
Object-Oriented Database for Intelligent Engineering Applications (Abstract). 413 - Stevan Mrdalj, Asad Khailany:
Semantics in Object-Oriented Data Models (Abstract). 414 - Clinton R. Foulk:
Structured Programming in Macintosh Assembly Language (Abstract). 414 - Ivan B. Liss, Thomas C. McMillan:
Program Structure and Clarity (Abstract). 415 - Ashvin Radiya:
A Logical Approach to Designing Procedural Programming Languages (Abstract). 415 - Trong Wu:
Simulation of an Automatic Banking System with the Ada Programming Language (Abstract). 416 - Mark Temte:
A Framework for Accessing Data in Models with Many Discrete States (Abstract). 416 - James F. Peters, Sheela Ramanna, Elizabeth A. Unger:
Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract). 417 - Lee Ohringer:
An Assumption About Computer Security (it ain't necessarily so - Abstract). 417 - G. Arthur Mihram, Danielle Mihram:
Every Computer Programme is Actually a Simulation Model (Abstract). 418 - Rita M. D'Arcangelis, Lynn L. Peterson:
A Cooperative Software Development Paradigm for Content Analysis-Based Psychology Research Procedures (Abstract). 419 - Esen A. Ozkarahan, Cem H. Bozsahin:
Query Processing and File Management Issues in Partitioned Databases (Abstract). 420 - Opher Etzion:
PARDES - An Enhanced Active Database System (Abstract). 421 - Asad Khailany, Wafa Khorshid:
Extended Object Oriented Model to Design Relational Databases (Abstract). 422 - Kemal Koymen:
A Datalog Interface for SQL (Abstract). 422 - Wafa Khorshid, Asad Khailany:
A Data Model for Software Representation (Abstract). 423 - Tsau Young Lin:
Relational Data Models and Category Theory (Abstract). 424 - Valerie A. Miller, G. Scott Owen:
The Use of Fractals in Visualizing Iterative Techniques from Numerical Analysis (Abstract). 425 - Shuhua Shen, Georges G. Grinstein, Stuart Smith:
Exvis: The Exploratory Visualization Tool (Abstract). 426 - Hari B. Bidasaria:
Ray Tracing Surfaces of Revolution Using a Simplified Strip Tree Method (Abstract). 427 - Larry Basenspiler, Thomas F. Hain, Ben King:
On the Vectorization of Graph Algorithms (Abstract). 427 - James H. Cross II:
Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract). 428 - Charles Garner, Michael V. Doran, Herbert E. Longenecker Jr.:
An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract). 429 - Kunwarjit S. Bagga, Frank W. Owens:
On Some Classes of Petri Nets (Abstract). 430 - James Canning, P. Muthuvelraj, John Sieg:
An Adaptive Concurrency Control Algorithm (Abstract). 431 - Ljudmil Manasiev:
A Service for Remote Computations in a Distributed System (Abstract). 432 - M. Bozyigit, M. Melhi:
Dynamic Load Balancing in Distributed Real-Time Systems (Abstract). 433 - V. Prasad Krothapalli, P. Sadayappan:
Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract). 434 - Dietrich Fischer:
Paradoxes in Parallel Processing (Abstract). 434 - Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan:
An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract). 435 - Narayan C. Debnath:
A Study of Control Flow and Data Dependency Interface (Abstract). 435 - Eugene Pinsky:
Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract). 436 - Kevin C. Schott:
A Dual-Algorithm Performance Monitoring System (Abstract). 436 - Meyer Katzper:
Joint Use of Simulation and Nonlinear Curve Fitting in Compartmental Models (Abstract). 437 - Susan N. Twohig, Samuel O. Aletan:
The Traveling-Salesman Problem (Abstract). 437 - Andrew T. Cable, Domenick J. Pinto:
Dynamically Balancing a Binary Tree (Abstract). 438 - Joseph S. Szakas, Christian Trefftz:
Cooperation of the Pattern Recognition Techniques of Dirichlet Tessellations with Political Science to Produce Ward Partitioning of Cities Without Bias (Abstract). 439 - Shiperu Shimoda, Masaki Hayashi, Yasuaki Kanatsugu:
Electronic Studio Sets Controlled by a Computer (Abstract). 439 - Riva Wenig Bickel, María M. Larrondo-Petrie:
Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract). 440 - Clifford A. Shaffer, Gregory M. Herb:
A Real-Time Robot Collision Avoidance System (Abstract). 441 - Carl Steidley:
ROBOTICS: A Hands-On Introduction to Hardware (Abstract). 441 - Yiming Ye, Zhao-Xiong Chen, Xiong Zhang, Qinshi Gao:
IMT-RB/ED: A System Based on Multi-Reorganization (Abstract). 442 - Chung Chen-Hwa, Christos Nikolopoulos:
On Expert Database Systems (Abstract). 442 - Christopher J. Gardiner, William W. McMillan:
Requirements for Machine Learning in Expert Systems (Abstract). 443 - W. E. Mattis:
A Hybrid Architecture for Neurocomputing (Abstract). 443 - Thomas M. English, Lois C. Boggess:
Compact Input Coding for Speech Recognition by Neural Net (Abstract). 444 - Tao Li, L. Fang:
Competition and Cooperation in Analog Neural Networks for Combinatorial Optimization (Abstract). 444 - David W. Valentine:
The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract). 445 - Thomas L. Hausmann, William Campbell:
An Integrated Authoring System for Diagnostic Testing (Abstract). 445 - Nageswara S. V. Rao, Jih-sen Lin:
On Algorithms for Operative Diagnosis of Systems (Abstract). 446 - Juan Carlos Esteva, Asad Khailany:
Database Reasoning: Extracting Knowledge from Databases (Abstract). 446 - Hou-Mei Chang:
Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract). 447 - Sami Khuri, My Hoang:
Genetic Heuristics in Optimization Problems (Abstract). 447 - Amos O. Olagunju:
Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract). 448 - Donna M. Mooney, John R. Talburt:
Homograph Discrimination for Intelligent Interfaces via Thesaural Lexicons (Abstract). 449 - Tai-Sheng Zhang, William W. McMillan:
An Implementation of ID3 That Creates Executable Rules (Abstract). 450 - William W. McMillan, Christopher J. Gardiner:
A Prolog System for Case-Based Classification (Abstract). 450 - Richard O'Lander:
Use of Intelligent Computer Aided Instruction in the Classroom (Abstract). 451