6299 search results - page 1023 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
159
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
150
click to vote
CPM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Detecting historical recombination is an important computational problem which has received great attention recently. Due to recombination, input sequences form a mosaic,...
199
click to vote
HUMO
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
175
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The Evolutionary Geometric Near-neighbor Access Tree (EGNAT) is a recently proposed data structure that is suitable for indexing large collections of complex objects. It ...
181
click to vote
ISVC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...