2025 search results - page 243 / 405 » On the Utility of Inference Mechanisms |
TPHOL
1994
IEEE
14 years 9 days ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
KR
1992
Springer
14 years 8 days 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 ...
AIMSA
1990
Springer
14 years 7 days ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
ACMSE
2007
ACM
14 years 6 days ago
2007
ACM
Alternative splicing (AS) is a major mechanism to generate protein diversity. A single gene might generate hundreds or even thousands of different proteins. Recently, powerful lar...
CEC
2007
IEEE
14 years 5 days ago
2007
IEEE
Abstract-- High-throughput microarrays inform us on different outlooks of the molecular mechanisms underlying the function of cells and organisms. While computational analysis for ...