5255 search results - page 543 / 1051 » Formal Methods for Privacy |
178
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— We propose a method that takes observations of a random vector as input, and learns to segment each observation into two disjoint parts. We show how to use the internal coheren...
155
click to vote
IFM
2005
Springer
16 years 17 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
234
click to vote
PADL
2005
Springer
16 years 17 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
215
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
We study the application of spectral clustering, prediction and visualization methods to graphs with negatively weighted edges. We show that several characteristic matrices of gra...
198
click to vote
NIPS
2008
15 years 8 months ago
2008
We present a simple new Monte Carlo algorithm for evaluating probabilities of observations in complex latent variable models, such as Deep Belief Networks. While the method is bas...