193 search results - page 11 / 39 » Computing Locally Coherent Discourses |
CVPR
2005
IEEE
14 years 12 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...
ISCA
2000
IEEE
14 years 2 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...
EUROPAR
2004
Springer
14 years 3 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...
LICS
2005
IEEE
14 years 3 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...
ICIP
2007
IEEE
13 years 10 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...