742 search results - page 132 / 149 » Applications of Belief Revision |
ARITH
2007
IEEE
15 years 1 months ago
2007
IEEE
The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] was revised [2], and an important addition is the definition of decimal floating-point arithmetic. This is inte...
GD
2006
Springer
15 years 1 months ago
2006
Springer
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
HLPPP
1991
15 years 1 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
USENIX
2007
14 years 12 months ago
2007
Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administr...
EUSFLAT
2001
14 years 11 months ago
2001
Meta-analysis is a statistical procedure to do syntheses of evidences. In the production of scientific knowledge, in spite of paradigmatic skips of quality, the rising of the accu...