73 search results - page 9 / 15 » Automated error diagnosis using abductive inference |
121
click to vote
LICS
1993
IEEE
15 years 5 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
112
click to vote
UAI
2008
15 years 2 months ago
2008
Approximate inference in dynamic systems is the problem of estimating the state of the system given a sequence of actions and partial observations. High precision estimation is fu...
112
click to vote
CCIA
2005
Springer
15 years 7 months ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
126
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
196
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
We propose to demonstrate Fa, an automated tool for timely and accurate prediction of Service-Level-Agreement (SLA) violations caused by performance problems in database systems. ...