2070 search results - page 262 / 414 » A Reduced-Basis Element Method |
122
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
257
Voted
IPMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Volumetric registration of brain MR images presents a challenging problem due to the wide variety of sulcal folding patterns. We present a novel volumetric registration m...
125
Voted
SCALESPACE
2009
Springer
15 years 10 months ago
2009
Springer
In the context of shape and image modeling by manifold learning, we focus on the problem of denoising. A set of shapes or images being known through given samples, we capture its s...
142
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
149
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...