12052 search results - page 714 / 2411 » computing 2010 |
225
click to vote
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
195
Voted
CGF
2010
15 years 7 months ago
2010
The technique of Delaunay refinement has been recognized as a versatile tool to generate Delaunay meshes of a variety of geometries. Despite its usefulness, it suffers from one la...
230
Voted
ENTCS
2006
15 years 7 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
247
click to vote
CGF
2010
15 years 6 months ago
2010
Recent advances in GPU programmability and architecture have allowed for the generation of ray casted or ray traced images at interactive rates. How quickly these images can be ge...
195
Voted
ECCV
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...