2367 search results - page 238 / 474 » An experimental analysis of self-adjusting computation |
175
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
163
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Texture has been recognized as an important visual primitive in image analysis. A widely used texture descriptor, which is part of the MPEG-7 standard, is that computed using mult...
176
click to vote
HPDC
2007
IEEE
16 years 27 days ago
2007
IEEE
Desktop grids combine Peer-to-Peer and Grid computing techniques to improve the robustness, reliability and scalability of job execution infrastructures. However, efficiently mat...
166
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
158
click to vote
ACCV
2006
Springer
16 years 16 days ago
2006
Springer
This paper describes a new method to track people walking by matching their gait image sequences in the frequency domain. When a person walks at a distance from a camera, that pers...