12052 search results - page 2131 / 2411 » computer 2010 |
133
Voted
KES
2010
Springer
14 years 10 months ago
2010
Springer
Exploratory Learning Environments (ELEs) allow learners to approach a problem in different ways; they are particularly suitable for ill-defined problems where knowledge is less str...
113
Voted
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
119
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
108
Voted
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Fusion of Magnetic Resonance Imaging (MRI) and Trans Rectal Ultra Sound (TRUS) images during TRUS guided prostate biopsy improves localization of the malignant tissues. Segmented p...
109
Voted
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we propose a novel and robust system for the automated identification of major sulci on cortical surfaces. Using multiscale representation and intrinsic surface mappi...