4679 search results - page 766 / 936 » Modeling When Connections Are the Problem |
138
Voted
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
110
click to vote
PADS
2006
ACM
15 years 7 months ago
2006
ACM
The High Level Architecture (HLA) is a standard for the interoperability and reuse of simulation components, referred to as federates. Large scale HLA-compliant simulations are bu...
223
Voted
ROCAI
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a model class for statistical learning which is based on mixtures of propositional rules. In our mixture model, the weight of a rule is not uniform over the entire ins...
140
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
130
Voted
ASC
2008
15 years 2 months ago
2008
Most data mining algorithms assume static behavior of the incoming data. In the real world, the situation is different and most continuously collected data streams are generated by...