11121 search results - page 2138 / 2225 » Computing with Continuous Change |
123
click to vote
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
178
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a region-based active contour detection algorithm
for objects that exhibit relatively homogeneous photometric
characteristics (e.g. smooth color or gray levels),
embe...
109
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
In modern Web applications, style formatting and layout calculation often account for a substantial amount of local Web page processing time. In this paper1 , we present two novel...
102
click to vote
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
121
click to vote
MIR
2010
ACM
15 years 8 months ago
2010
ACM
Sparse coding is a key principle that underlies wavelet representation of natural images. In this paper, we explain that the effort of seeking a common wavelet sparse coding of i...