790 search results - page 95 / 158 » Subexponential Parameterized Algorithms |
151
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
We consider the problem of head tracking and pose estimation in realtime from low resolution images. Tracking and pose recognition are treated as two coupled problems in a probabi...
104
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
We consider the problem of partitioning n integers chosen randomly between 1 and 2m into two subsets such that the discrepancy, the absolute value of the difference of their sums,...
118
click to vote
ALDT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
120
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
139
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...