1411 search results - page 94 / 283 » Interactive Coding for Interactive Proofs |
195
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
107
Voted
CPHYSICS
2008
15 years 19 days ago
2008
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...
ICSE
2005
IEEE-ACM
16 years 19 days ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...
73
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
We introduce SoftGUESS, a code clone exploration system. SoftGUESS is built on the more general GUESS system which provides users with a mechanism to interactively explore graph s...
102
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We propose a method for deblurring of spatially variant object motion. A principal challenge of this problem is how to estimate the point spread function (PSF) of the spatially va...