61 search results - page 3 / 13 » Degree spectra and computable dimensions in algebraic struct... |
CIE
2005
Springer
15 years 3 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
ICCV
2001
IEEE
15 years 11 months ago
2001
IEEE
We introduce a number of new results in the context of multi-view geometry from general algebraic curves. We start with the derivation of the extended Kruppa's equations whic...
90
Voted
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
ICDM
2006
IEEE
15 years 3 months ago
2006
IEEE
Many 0/1 datasets have a very large number of variables; however, they are sparse and the dependency structure of the variables is simpler than the number of variables would sugge...
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...