136 search results - page 5 / 28 » Extending the Resolution Method with Sorts |
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
JCIT
2010
14 years 4 months ago
2010
Because of the complexity of the human structure, and the irregularity of the human tissues, and the discrepancy of human individuality, segmenting and rendering 3D medical data f...
CADE
1994
Springer
15 years 1 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
PR
2006
14 years 9 months ago
2006
In the face recognition process, it is important to deal with a facial image of low-resolution. For low-resolution face recognition, we propose a new method of extending the SVDD,...