Sciweavers

82 search results - page 9 / 17
» DIANE, a diagnosis system for arithmetical problem solving
Sort
View
ATAL
2007
Springer
15 years 3 months ago
Diagnosis of plan step errors and plan structure violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoy...
74
Voted
TSMC
2008
94views more  TSMC 2008»
14 years 9 months ago
Test Sequencing in Complex Manufacturing Systems
Testing complex manufacturing systems, such as an ASML [1] lithographic machine, takes up to 45% of the total development time of a system. The problem of which tests must be execu...
R. Boumen, I. S. M. de Jong, J. W. H. Vermunt, J. ...
FUIN
2008
83views more  FUIN 2008»
14 years 9 months ago
Fault Diagnosis with Static and Dynamic Observers
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
Franck Cassez, Stavros Tripakis
DEXA
2008
Springer
187views Database» more  DEXA 2008»
14 years 11 months ago
Description Logic to Model a Domain Specific Information Retrieval System
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
Saïd Radhouani, Gilles Falquet, Jean-Pierre C...
LISA
2007
14 years 11 months ago
PDA: A Tool for Automated Problem Determination
Problem determination remains one of the most expensive and time-consuming functions in system management due to the difficulty in automating what is essentially a highly experien...
Hai Huang, Raymond B. Jennings III, Yaoping Ruan, ...