136 search results - page 20 / 28 » Extending the Resolution Method with Sorts |
157
click to vote
ICPR
2006
IEEE
16 years 5 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...
132
click to vote
SERP
2003
15 years 5 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...
174
click to vote
ICIP
2006
IEEE
16 years 5 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...
124
click to vote
ICSE
2004
IEEE-ACM
16 years 4 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...
153
click to vote
LFCS
2009
Springer
15 years 10 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...