1778 search results - page 85 / 356 » The Theory of Probabilistic Databases |
167
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
182
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We present a probabilistic algorithm for finding correspondences across multiple images. The algorithm runs in a distributed setting, where each camera is attached to a s...
145
click to vote
GLVLSI
2007
IEEE
15 years 12 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
180
click to vote
TKDE
2010
15 years 4 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
148
click to vote
TCIAIG
2010
15 years 9 days ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...