9659 search results - page 1587 / 1932 » Points on Computable Curves |
176
click to vote
TOG
2002
15 years 6 months ago
2002
We present a level set framework for implementing editing operators for surfaces. Level set models are deformable implicit surfaces where the deformation of the surface is control...
160
click to vote
IGPL
2008
15 years 6 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
232
click to vote
TIP
2010
15 years 5 months ago
2010
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
221
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
253
click to vote
CLUSTER
2011
IEEE
14 years 6 months ago
2011
IEEE
—Computing systems will grow significantly larger in the near future to satisfy the needs of computational scientists in areas like climate modeling, biophysics and cosmology. S...