2302 search results - page 102 / 461 » Privacy-preserving Distributed Clustering using Generative M... |
144
click to vote
ENTCS
2008
15 years 4 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...
102
click to vote
IPPS
2007
IEEE
15 years 11 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 ...
136
click to vote
ICANN
2010
Springer
15 years 5 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...
139
click to vote
ACTA
2007
15 years 4 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 ...
143
click to vote
COLING
2008
15 years 6 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...