632 search results - page 107 / 127 » Updating with incomplete observations |
127
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we present a model of distributed parameter estimation in networks, where agents have access to partially informative measurements over time. Each agent faces a loca...
117
click to vote
NFM
2011
14 years 8 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
131
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
The increasing popularity of personal reading devices raises the question of how best to support so-called active reading, which involves acts like annotation, note taking, etc. P...
129
click to vote
DIMVA
2011
14 years 5 months ago
2011
While conventional wisdom holds that residential users experience a high degree of compromise and infection, this presumption has seen little validation in the way of an in-depth s...
147
Voted
AAAI
2011
14 years 1 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 ...