5525 search results - page 396 / 1105 » Verification of Model Transformations |
136
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name filtering. ETK has the low computational cost and ability to ...
128
click to vote
PR
2000
15 years 6 months ago
2000
: Identifying PSL(2, C) as a projective group for patterns in the conformal camera model, the projective harmonic analysis on its double covering group SL(2, C) is presented in the...
175
click to vote
PR
2002
15 years 6 months ago
2002
This paper considers invariant texture analysis. Texture analysis approaches whose performances are not a ected by translation, rotation, a ne, and perspective transform are addre...
169
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
173
click to vote
SIGIR
2005
ACM
16 years 14 days ago
2005
ACM
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...