5799 search results - page 94 / 1160 » Health-OS: : a position paper |
163
click to vote
APAL
2007
15 years 6 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
157
click to vote
JAT
2010
15 years 4 months ago
2010
The paper investigates the properties of certain biorthogonal polynomials appearing in a specific simultaneous Hermite–Pad´e approximation scheme. Associated with any totally ...
161
click to vote
SIAMSC
2010
15 years 4 months ago
2010
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
146
click to vote
ACIVS
2010
Springer
15 years 4 months ago
2010
Springer
Detection of objects through scanning windows is widely used and accepted method. The detectors traditionally do not make use of information that is shared between neighboring imag...
159
click to vote
APVIS
2009
15 years 4 months ago
2009
This paper presents a novel method for the interactive identification of contextual interest points within volumetric data by picking on a direct volume rendered image. In clinica...