3690 search results - page 142 / 738 » Computation with classical sequents |
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
ICA
2004
Springer
15 years 3 months ago
2004
Springer
Different Computer Aided Diagnosis (CAD) systems have been recently developed to detect microcalcifications (MCs) in digitalized mammography, among other techniques, applying Gen...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper we evaluate the use of Restricted Bolzmann Machines (RBM) in the context of learning and recognizing human actions. The features used as basis are binary silhouett...
FOCS
2003
IEEE
15 years 3 months ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
MM
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, we propose a novel approach for the robust detection and classification of dissolve sequences in videos. Our approach is based on the multi-resolution representati...