106 search results - page 2 / 22 » Specification of Conditions for Error Diagnostics |
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
FLAIRS
2006
13 years 6 months ago
2006
An accurate and up-to-date diagnostic model is critical for economic aircraft engine operation. However, for many commercial airline fleets, monitoring and diagnosing engine fault...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
TSMC
2010
13 years 1 days ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
ACL
2006
13 years 6 months ago
2006
This paper proposes a framework for training Conditional Random Fields (CRFs) to optimize multivariate evaluation measures, including non-linear measures such as F-score. Our prop...