1511 search results - page 13 / 303 » Relational Parametricity for Computational Effects |
121
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We observe that the classical maximum flow problem in any directed planar graph G can be reformulated as a parametric shortest path problem in the oriented dual graph G . This ref...
117
Voted
DAC
2004
ACM
15 years 9 months ago
2004
ACM
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
138
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we present an unsupervised method for mining activities in videos. From unlabeled video sequences of a scene, our method can automatically recover what are the recu...
128
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper describes a novel approach to recovering a parametric deformation that optimally registers one image to another. The method proceeds by constructing a global c...
130
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Pictorial structure (PS) models are extensively used for part-based recognition of scenes, people, animals and multi-part objects. To achieve tractability, the structure and param...