15073 search results - page 41 / 3015 » Probabilistic algorithms for computing resultants |
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
Many applications employ sensors for monitoring entities such as temperature and wind speed. A centralized database tracks these entities to enable query processing. Due to contin...
114
click to vote
DICTA
2003
14 years 11 months ago
2003
Robust visual tracking has become an important topic in the field of computer vision. The integration of cues such as color, edge strength and motion has proved to be a promising ...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
We propose an original probabilistic parameter-free method for the detection of independently moving objects in an image sequence. We apply a probabilistic perceptual principle, t...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...