1661 search results - page 47 / 333 » Advanced carving techniques |
DA
2010
13 years 5 months ago
2010
. Direct approaches, which involve asking patients various abstract questions, have significant drawbacks. We propose a new approach that infers patient preferences based on observ...
TVCG
2012
11 years 10 months ago
2012
—We present an efficient algorithm for simulating diffuse reflections of sound in a static scene. Our approach is built on recent advances in precomputed light transport techni...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
- As deep submicron technologies are advanced, we face new challenges, such as power consumption and soft errors. A na
BMCBI
2010
13 years 7 months ago
2010
Background: The current advances in electron cryo-microscopy technique have made it possible to obtain protein density maps at about 6-10
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...