2286 search results - page 278 / 458 » Algorithms for Categorical Equivalence |
171
click to vote
VLSM
2005
Springer
16 years 3 days ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
173
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
We consider the exact and approximate computational complexity of the multivariate LMS linear regression estimator. The LMS estimator is among the most widely used robust linear s...
170
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
184
click to vote
INDOCRYPT
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
155
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...