258 search results - page 2 / 52 » Facilitating and automating empirical evaluation |
IJAIT
2006
13 years 5 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...
ISPW
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...
EWCBR
2004
Springer
2004
Springer
Facilitating CBR for Incompletely-Described Cases: Distance Metrics for Partial Problem Descriptions
13 years 10 months ago
A fundamental problem for case-based reasoning systems is how to select relevant prior cases. Numerous strategies have been developed for determining the similarity of prior cases,...
KR
1992
Springer
13 years 9 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...