8874 search results - page 379 / 1775 » A New Implementation of Automath |
206
click to vote
EVOW
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...
217
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Modern memory systems rely on spatial locality to provide high bandwidth while minimizing memory device power and cost. The trend of increasing the number of cores that share memo...
181
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
In this paper we present a new bimanual markerless gesture interface for 3D full-body motion tracking sensors, such as the Kinect. Our interface uses a probabilistic algorithm to ...
213
click to vote
PC
2012
14 years 2 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
235
click to vote
SI3D
2012
ACM
14 years 2 months ago
2012
ACM
In this paper we present decoupled deferred shading: a rendering technique based on a new data structure called compact geometry buffer, which stores shading samples independently...