Sciweavers

5451 search results - page 16 / 1091
» The SIGNAL Expert System
Sort
View
EKAW
1992
Springer
13 years 12 months ago
Knowledge Acquisition for Explainable, Multi-Expert, Knowledge-Based Design Systems
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
Rose Dieng, Alain Giboin, Paul-André Tourti...
AAAI
1994
13 years 9 months ago
Termination Analysis of OPS5 Expert Systems
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
Hsiu-yen Tsai, Albert Mo Kim Cheng
VLDB
1987
ACM
66views Database» more  VLDB 1987»
13 years 11 months ago
MOBY: An Architecture for Distributed Expert Database Systems
In thii paper,weconsiderMOBY. a distributedarchitectureto support the developmentof expert databasesystemsin a rule based language.It combinesstandardindexing andhorizontaldatapar...
Jonathan Bein, Roger King
FMCAD
2004
Springer
13 years 11 months ago
Scalable Automated Verification via Expert-System Guided Transformations
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
FLAIRS
1998
13 years 9 months ago
Knowledge Refinement During Developmental and Field Validation of Expert Systems
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...
Neli Zlatareva