Sciweavers

7891 search results - page 1108 / 1579
» A Distributed Scheduling Framework
Sort
View
SIAMDM
2008
69views more  SIAMDM 2008»
15 years 6 months ago
Labeled Partitions and the q-Derangement Numbers
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
William Y. C. Chen, Deheng Xu
ICRA
2010
IEEE
135views Robotics» more  ICRA 2010»
15 years 5 months ago
Using multiple hypothesis in model-based tracking
— Classic registration methods for model-based tracking try to align the projected edges of a 3D model with the edges of the image. However, wrong matches at low level can make t...
Céline Teuliere, Éric Marchand, Laur...
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 5 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
CNSM
2010
15 years 5 months ago
Decomposition techniques for policy refinement
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandr...
GIS
2008
ACM
16 years 8 months ago
Finding regional co-location patterns for sets of continuous variables in spatial datasets
This paper proposes a novel framework for mining regional colocation patterns with respect to sets of continuous variables in spatial datasets. The goal is to identify regions in ...
Christoph F. Eick, Jean-Philippe Nicot, Rachana Pa...
« Prev « First page 1108 / 1579 Last » Next »