7117 search results - page 232 / 1424 » IT Governance Frameworks as Methods |
178
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to uncertain inputs, is used to re...
192
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
160
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— It has been observed that adding a few long range edges to certain graph topologies can significantly increase the rate of convergence for consensus algorithms. A notable exam...
170
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...