13383 search results - page 371 / 2677 » Abstractions from proofs |
210
click to vote
IDEAL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In human face recognition, different facial regions have different degrees of importance, and exploiting such information would hopefully improve the accuracy of the reco...
126
click to vote
ISSEP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We investigate issues in the preparation of students for undergraduate study. Specifically, we focus upon the question of whether computer science students would be bett...
142
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
166
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
164
click to vote
CRYPTO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...