465 search results - page 26 / 93 » Split variational inference |
184
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Decreasing disk costs have made it practical to retain longlived snapshots, enabling new applications that analyze past states and infer about future states. Current approaches of...
110
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
94
Voted
WABI
2004
Springer
15 years 6 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
133
Voted
TITS
2011
14 years 7 months ago
2011
Abstract—Over the last few years, electronic vehicle guidance systems have become increasingly more popular. However, despite their ubiquity, performance will always be subject t...
ISPAN
2000
IEEE
15 years 5 months ago
2000
IEEE
Thispaper presents a newpractical approximationalgorithmfor wavelengthassignmentto splitablelightpathsover WDM rings, with the objective ofminimizing the number of SONET ADMs. All...