5799 search results - page 968 / 1160 » Health-OS: : a position paper |
173
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
189
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...
170
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
171
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an approach to automatically optimize the retrieval quality of ranking functions. Taking a Swarm Intelligence perspective, we present a novel method, SwarmRank...
174
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Face hallucination is to reconstruct a high-resolution face image from a low-resolution one based on a set of high- and low-resolution training image pairs. This paper proposes an ...