3820 search results - page 525 / 764 » Bounded Model Debugging |
132
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...
151
click to vote
AAAI
2011
14 years 3 months ago
2011
We present a dual decomposition approach to the treereweighted belief propagation objective. Each tree in the tree-reweighted bound yields one subproblem, which can be solved with...
194
click to vote
ESA
2011
Springer
14 years 2 months ago
2011
Springer
We study and characterize social-aware forwarding protocols in opportunistic networks and we derive bounds on the expected message delivery time for two different routing protocol...
148
click to vote
ML
2012
ACM
13 years 10 months ago
2012
ACM
Bayesian learning, widely used in many applied data-modeling problems, is often accomplished with approximation schemes because it requires intractable computation of the posterio...
135
click to vote
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...