8728 search results - page 94 / 1746 » On Reduct Construction Algorithms |
ALT
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...
AVSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper addresses the problem of classifying human actions in a video sequence. A representation eigenspace approach based on the PCA algorithm is used to train the classifier...
CIVR
2007
Springer
14 years 4 months ago
2007
Springer
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...
EUROCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...