928 search results - page 59 / 186 » The degree structure of Weihrauch-reducibility |
CP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
ICIAP
2009
ACM
14 years 10 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
STACS
2010
Springer
14 years 5 months ago
2010
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
A linear projective map called fuzzy discriminant projections has been proposed in this paper. Fuzzy discriminant projection (FDP) is motivated by locality preserving projections ...