default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGSMALL 1990: Crystal City, VA, USA
- Hal Berghel, Elizabeth A. Unger, Richard Rankin:
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA. ACM 1990, ISBN 0-89791-347-7 - 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, George 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 - Arun 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
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 2025-12-04 01:24 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:
