2372 search results - page 196 / 475 » is 2012 |
126
click to vote
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
137
Voted
ML
2012
ACM
13 years 8 months ago
2012
ACM
The ratio of two probability densities can be used for solving various machine learning tasks such as covariate shift adaptation (importance sampling), outlier detection (likeliho...
153
Voted
ML
2012
ACM
13 years 8 months ago
2012
ACM
Dependency networks approximate a joint probability distribution over multiple random variables as a product of conditional distributions. Relational Dependency Networks (RDNs) are...
125
click to vote
MMAS
2012
Springer
13 years 8 months ago
2012
Springer
In this paper we analyze wave propagation in three-dimensional random media. We consider a source with limited spatial and temporal support that generates spherically diverging wav...
MMB
2012
Springer
13 years 8 months ago
2012
Springer
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...