3208 search results - page 170 / 642 » Methods and views |
115
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
129
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
134
Voted
UAI
1994
15 years 4 months ago
1994
In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loop...
100
Voted
SIAMMAX
2010
14 years 10 months ago
2010
The aim of the paper is to provide a theoretical basis for approximate reduced SQP methods. In contrast to inexact reduced SQP methods, the forward and the adjoint problem accuraci...