Sciweavers

786 search results - page 16 / 158
» Adequacy of Limited Testing for Knowledge Based Systems
Sort
View
SFP
2003
13 years 9 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
AAAI
1996
13 years 9 months ago
Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
James C. Lester, Bruce W. Porter
IJCAI
2001
13 years 9 months ago
Using Case-Base Data to Learn Adaptation Knowledge for Design
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
Jacek Jarmulak, Susan Craw, Ray Rowe
ITC
2003
IEEE
145views Hardware» more  ITC 2003»
14 years 29 days ago
MEMS Manufacturing Testing: An Accelerometer Case Study
Electrical testing of MicroElectroMechanical Systems (MEMS) can take on many different forms including wafer probing, electrical trimming, final test at temperatures, engineering ...
Theresa Maudie, Alex Hardt, Rick Nielsen, Dennis S...
JCP
2008
104views more  JCP 2008»
13 years 7 months ago
Process Planning Knowledge Discovery Based on CAPP Database for Mechanical Manufacturing Enterprise
Knowledge discovery in database have been attracting a significant amount of research, industry attention in recent years. Process planning knowledge (PPK) is one of the most impor...
Xiaoliang Jia, Zhenming Zhang, Xitian Tian