5255 search results - page 862 / 1051 » Formal Methods for Privacy |
161
click to vote
JIPS
2010
14 years 11 months ago
2010
Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approac...
163
click to vote
JMLR
2010
14 years 11 months ago
2010
Markov Random Fields (MRFs) are an important class of probabilistic models which are used for density estimation, classification, denoising, and for constructing Deep Belief Netwo...
142
click to vote
TSMC
2010
14 years 11 months ago
2010
In our previous paper [1], we formalized an active information fusion framework based on dynamic Bayesian networks to provide active information fusion. This paper focuses on a ce...
215
click to vote
DCG
2011
14 years 7 months ago
2011
We describe a variant of a method used by modern graphic artists to design what are traditionally called Celtic knots, which are part of a larger family of designs called “mirro...
149
click to vote
FOCM
2011
14 years 7 months ago
2011
We consider a wide class of semi linear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomia...