2070 search results - page 262 / 414 » A Reduced-Basis Element Method |
153
click to vote
SIGCSE
2009
ACM
16 years 7 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...
294
click to vote
IPMI
2009
Springer
16 years 1 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...
165
click to vote
SCALESPACE
2009
Springer
16 years 28 days 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...
178
click to vote
SMA
2009
ACM
16 years 27 days 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...
186
click to vote
TPHOL
2008
IEEE
16 years 23 days 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...