15073 search results - page 3 / 3015 » Probabilistic algorithms for computing resultants |
CF
2005
ACM
14 years 25 days 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
14 years 5 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...
ICGI
1994
Springer
14 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...
CVPR
2007
IEEE
15 years 27 days 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
14 years 4 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...