3984 search results - page 567 / 797 » A Model-Driven Transformation Method |
211
click to vote
MEDIAFORENSICS
2010
15 years 3 months ago
2010
Error correction codes of suitable redundancy are used for ensuring perfect data recovery in noisy channels. For iterative decoding based methods, the decoder needs to be initiali...
172
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The eigenspectrum of a graph Laplacian encodes smoothness information over the graph. A natural approach to learning involves transforming the spectrum of a graph Laplaci...
148
click to vote
PR
2010
15 years 3 months ago
2010
We introduce a two-step iterative segmentation and registration method to find coplanar surfaces among stereo images of a polyhedral environment. The novelties of this paper are:...
152
click to vote
UTP
2010
15 years 3 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
129
click to vote
EMNLP
2010
15 years 3 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...