136 search results - page 20 / 28 » Extending the Resolution Method with Sorts |
104
click to vote
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
A new method for three dimensional (3D) genus-zero shape classification is proposed. It conformally maps a 3D mesh onto a unit sphere and uses normal vectors to generate a spheric...
SERP
2003
14 years 11 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a novel facial expression recognition approach based on two sets of features extracted from the face images: texture features and global appearance features. T...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...