Sciweavers

1516 search results - page 171 / 304
» Generalizing Indexical-Functional Reference
Sort
View
HUMO
2007
Springer
15 years 4 months ago
Modeling Human Locomotion with Topologically Constrained Latent Variable Models
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
Raquel Urtasun, David J. Fleet, Neil D. Lawrence
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
15 years 4 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina
IWMM
2007
Springer
122views Hardware» more  IWMM 2007»
15 years 4 months ago
Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
Pramod G. Joisha
MIDDLEWARE
2007
Springer
15 years 4 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
PPDP
2007
Springer
15 years 4 months ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...