Sciweavers

1200 search results - page 122 / 240
» Marked Ancestor Problems
Sort
View
EMMCVPR
2005
Springer
15 years 6 months ago
Linear Programming Matching and Appearance-Adaptive Object Tracking
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
Hao Jiang, Mark S. Drew, Ze-Nian Li
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
15 years 6 months ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
FOCS
2002
IEEE
15 years 6 months ago
Rapidly Mixing Markov Chains for Sampling Contingency Tables with a Constant Number of Rows
We consider the problem of sampling almost uniformly from the set of contingency tables with given row and column sums, when the number of rows is a constant. Cryan and Dyer [3] h...
Mary Cryan, Martin E. Dyer, Leslie Ann Goldberg, M...
MICRO
2002
IEEE
109views Hardware» more  MICRO 2002»
15 years 5 months ago
Using modern graphics architectures for general-purpose computing: a framework and analysis
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we exp...
Chris J. Thompson, Sahngyun Hahn, Mark Oskin
CDC
2009
IEEE
106views Control Systems» more  CDC 2009»
15 years 5 months ago
Visual motion observer-based pose synchronization: A passivity approach
— In this paper, we address a motion synchronization problem in SE(3) and present a novel passivity based visual feedback system. Though a passivity based control law to achieve ...
Masayuki Fujita, Takeshi Hatanaka, Naoto Kobayashi...