193 search results - page 11 / 39 » Computing Locally Coherent Discourses |
134
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
We present a new method for summarizing images for the purposes of matching and registration. We take the point of view that large, coherent regions in the image provide a concise...
128
click to vote
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Value locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously-seen program values, has been studied enthusiastically in the...
141
Voted
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Fine-grained software-based distributed shared memory (SWDSM) systems typically maintain coherence with in-line checking code at load and store operations to shared memor...
154
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
178
click to vote
ICIP
2007
IEEE
15 years 5 months ago
2007
IEEE
Optical coherence tomography (OCT) is an optical ranging technique analogous to radar — detection of back-scattered light produces a signal that is temporally localized at times...