549 search results - page 48 / 110 » formats 2010 |
78
Voted
BIRTHDAY
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
119
click to vote
HICSS
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper studies how consumers' online search behavior may trigger pervasive and persistent online price dispersion. We set up a game-theoretic model to examine the oligopo...
104
click to vote
TOSEM
2010
14 years 11 months ago
2010
n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...
TAP
2010
Springer
14 years 11 months ago
2010
Springer
raction, simplification, segmentation, illumination, rendering, and illustration. Even though this technique is inspired by models of low-level human vision, it has not yet been v...
122
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
An optical diffuser is an element that scatters light and is commonly used to soften or shape illumination. In this paper, we propose a novel depth estimation method that places a ...