 |
 |
SIGSMALL '90,
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems,
March 28-30,
1990. ACM,
1990
- David Roach, Hal Berghel:
The Physiology of PROLOG Expert System Inference Engine.
1-5
- Stephen P. Leach, Abraham Kandel:
Grouper: An Expert System for Redistricting.
6-12
- W. Elliot, Mordechay Schneider:
Fault Finder.
13-23
- Kok Wai Wong, Elizabeth A. Unger:
Specification and Verification of Active Message Systems.
24-30
- Miguel Cabrera, Elizabeth A. Unger:
Dynamic Data as Deterrent to the Tracker.
31-35
- Michele Di Santo, Giulio Iannello:
ASK: A Kernel for Programming Actor Systems.
36-42
- Kathleen Taylor, Michael A. Bauer:
An Object/Message Model for the Development of Integrated Workstation Software.
43-52
- V. Venugopal:
View-based Tool Integration in Database-Centered Environment.
53-60
- David W. Valentine:
Adapting Software to the User's Cognitive Style: Field Dependence - Field Independence.
61-67
- John F. Cigas:
Dynamically Displaying a Pascal Program in Color.
68-71
- Paolino Di Felice:
Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal Computers.
72-79
- William David Miller:
Semantic Assistance Nets.
80-89
- Hal Berghel, Richard Rankin, Farrukh Burney:
An Approach to Tableau Inferencing with "Hardwired" Heuristics.
90-93
- Chunsik Yi, Steven Graham:
Real-Time Reasoning with PROLOG.
94-97
- Blayne E. Mayfield, Timothy B. Baird:
STP: A Simple Theorem Prover for IBM-PC Compatible Computers.
98-105
- Philip T. Cox:
Using Object-Orientation to Implement Logic Programming.
106-114
- Robert L. Tureman Jr.:
A Personal Computer Based Expert System for Answering Student Questions in the CS1 Course.
115-117
- Mark Luker:
The Cost-Effective Integration of Microcomputers into a Campus Computing Environment.
118-122
- R. P. Srivastava:
Teaching Digital Logic Design Using a Tape Recorder Simulator.
123-131
- Jerry E. Sayers:
A Small Operating System.
132-142
- Taherah Daneshi:
A Memory Adjustable Software System for Clustering and Retrieval.
139-142
- Barbara Cuthill, Mallory Selfridge:
A Dynamic Memory Approach to Case Based Reasoning: AI Research on a Macintosh.
143-150
- Richard Rankin, Hal Berghel, T. Xu:
Efficient Generation of Lexically Proper Palindromes.
151-155
- John R. Talburt, Donna M. Mooney:
An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus.
156-159
- Peter Bodorik, J. Spruce Riordon:
System Integration in Multidatabases.
160-163
- Ray Hashemi-Nassab:
Parametric Performance Evaluation of a Micro-Based Database System.
164-171
- Kam-Fai Wong, M. Howard Williams:
CLARE - A Prolog Database Machine.
172-177
- Ashok Rathi, Huizhu Lu, G. E. Hedrick:
Performance Comparison of Extendible Hashing and Linear Hashing Techniques.
178-185
- A. G. Jost, P. Streatch, D. B. Guptill:
Implementation of a VLSI Layout Tool on Personal Computers.
186-190
- Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara:
A Dedicated Small Computer for Artificial Intelligence.
191-198
- Lester Lipsky, Dilip Tagare, Edward Bigos:
Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an Implementation.
199-204
- Tahany A. Fergany, Howard A. Sholl:
Performance Based Multiple Server Support for Distributed Real Time Applications.
205-214
- Hossein Saiedian, Elizabeth A. Unger:
A Formal Specification Tool for Office Systems.
215-220
- Angela Dixon, Ramesh Sharda:
Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal Computer.
221-227
- Jacob Slonim, Michael A. Bauer:
The Role of Workstations in the Information Utility: A Model for User-Oriented Information Systems.
228-237
- Patrick D. Fett, K. M. George:
DCA: An Expert System for Auditing Data Communications.
238-245
- David F. Clark, Abraham Kandel:
Fuzzy Belief Networks.
246-248
- D. Riordan, K. J. Carden:
Explanation in Ecological Systems.
249-254
- A. D. Kulkarni, George M. Whitson:
Self Organizing Neural Networks with a Split/Merge Algorithm.
255-261
- John W. Sheppard, William R. Simpson:
Using a Competitive Learning Neural Network to Evaluate Software Complexity.
262-267
- George M. Whitson, Cathy H. Wu, Pam Taylor:
Using an Artificial Neural System to Determine the Knowledge Base of an Expert System.
268-270
- Rizwan Mithani:
An Object-Oriented Data Model for Partition Processing in Distributed Databases.
271-279
- Doug Varney:
Adequacy of Checksum Algorithms for Computer Virus Detection.
280-282
- Mauro Regio, Marco Temperini:
Implementation and Manipulation of Formal Objects: An Object-Oriented View.
283-287
- Benjamin Moreland:
Knowledge-Based Understanding on a Small Machine.
288-295
- Larry Hughes:
Edmund: A Multicast Kernel for Distributed Application.
296-304
Copyright © Fri Dec 18 18:42:41 2009
by Michael Ley (ley@uni-trier.de)