2008 search results - page 360 / 402 » Computing with Equations |
157
Voted
AAAI
2011
14 years 2 months ago
2011
Dependency networks are a compelling alternative to Bayesian networks for learning joint probability distributions from data and using them to compute probabilities. A dependency ...
124
click to vote
IACR
2011
14 years 2 months ago
2011
We present a generic transformation that allows us to use a large class of pairing-based signatures to construct schemes for signing group elements in a structure preserving way. A...
109
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
149
click to vote
TOG
2012
13 years 4 months ago
2012
Buoyant turbulent smoke plumes with a sharp smoke-air interface, such as volcanic plumes, are notoriously hard to simulate. The surface clearly shows small-scale turbulent structu...
105
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a new approach to computing an approximately maximum s-t flow in a capacitated, undirected graph. This flow is computed by solving a sequence of electrical flow probl...