3238 search results - page 70 / 648 » On the Computational Interpretation of Negation |
169
click to vote
AVI
2010
15 years 7 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
135
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
The problem of polysemy involves having terms, such as “truck”, that refer to multiple concepts in different contexts; and conversely, having the same concept referred to with...
149
click to vote
CCA
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
155
click to vote
ICDM
2007
IEEE
16 years 15 days ago
2007
IEEE
Diagnostic decision-making in pulmonary medical imaging has been improved by computer-aided diagnosis (CAD) systems, serving as second readers to detect suspicious nodules for dia...
175
click to vote
COCO
2000
Springer
15 years 10 months ago
2000
Springer
Kolmogorov’s very first paper on algorithmic information theory (Kolmogorov, Problemy peredachi infotmatsii 1(1) (1965), 3) was entitled “Three approaches to the definition ...