Sciweavers

1368 search results - page 89 / 274
» Generalized Rook Polynomials
Sort
View
ICCAD
2006
IEEE
126views Hardware» more  ICCAD 2006»
16 years 1 months ago
Optimizing yield in global routing
We present the first efficient approach to global routing that takes spacing-dependent costs into account and provably finds a near-optimum solution including these costs. We sh...
Dirk Müller
COCOA
2007
Springer
15 years 10 months ago
Fundamental Domains for Integer Programs with Symmetries
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
Eric J. Friedman
CONCUR
2007
Springer
15 years 10 months ago
Strategy Logic
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
AVSS
2006
IEEE
15 years 10 months ago
Fusion of Omnidirectional and PTZ Cameras for Accurate Cooperative Tracking
Dual camera systems (omnidirectional and slaved PTZ cameras) are widely used in public area monitoring and target tracking. However, due to their low and non-uniform resolution, o...
Yi Yao, Besma R. Abidi, Mongi A. Abidi
ICCV
2005
IEEE
15 years 10 months ago
How Hard is 3-View Triangulation Really?
We present a solution for optimal triangulation in three views. The solution is guaranteed to find the optimal solution because it computes all the stationary points of the (maxi...
Henrik Stewénius, Frederik Schaffalitzky, D...