1080 search results - page 94 / 216 » The Complexity of Belief Update |
191
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
A new method for object tracking in video sequences is presented. This method exploits the benefits of particle filters to tackle the multimodal distributions emerging from clutte...
295
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
170
click to vote
JSAC
2010
15 years 4 months ago
2010
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...
182
click to vote
NETWORKING
2008
15 years 7 months ago
2008
Due to the increasing size of IP routing table and the growing rate of their lookups, many algorithms are introduced to achieve the required speed in table search and update or opt...
159
click to vote
STOC
2010
ACM
16 years 3 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...