2302 search results - page 102 / 461 » Privacy-preserving Distributed Clustering using Generative M... |
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
126
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
165
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
In this work, a novel probability distribution is proposed to model sparse directional data. The Directional Laplacian Distribution (DLD) is a hybrid between the linear Laplacian d...
172
click to vote
ACTA
2007
15 years 6 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
185
click to vote
COLING
2008
15 years 8 months ago
2008
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...