15073 search results - page 3 / 3015 » Probabilistic algorithms for computing resultants |
99
Voted
CF
2005
ACM
15 years 1 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
ARITH
2007
IEEE
15 years 6 months ago
2007
IEEE
The draft revision of the IEEE Standard for FloatingPoint Arithmetic (IEEE P754) includes a definition for decimal floating-point (FP) in addition to the widely used binary FP s...
113
click to vote
ICGI
1994
Springer
15 years 3 months ago
1994
Springer
: This paper proposes a new inference approach for Chinese probabilistic context-free grammar, which implements the EM algorithm based on the bracket matching schemes. By utilizing...
119
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Reliable tracking of multiple moving objects in video is an interesting challenge, made difficult in real-world video by various sources of noise and uncertainty. We propose a Bay...
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
Based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence), we adopt a probabilistic approach to uncertainty based on conditional p...