2286 search results - page 274 / 458 » Algorithms for Categorical Equivalence |
178
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Widely used SVD-based matrix factorization approaches to the recovery of 3D rigid structure from motion (SFM), require a set of feature points to be visible in a set of images. Wh...
211
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Data Grids provide transparent access to heterogeneous and autonomous data resources. The main contribution of this paper is the presentation of a data sharing system that (i) is ...
144
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
202
click to vote
QEST
2007
IEEE
16 years 28 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
183
click to vote
SYNASC
2007
IEEE
16 years 27 days ago
2007
IEEE
A trapdoor based on an extension of the RSA trapdoor is proposed. The same function as in the RSA cryptosystem is used, i.e. x modn, but there is no restriction for the exponent t...