10907 search results - page 353 / 2182 » Constraint Based Strategies |
176
click to vote
SIGECOM
2005
ACM
16 years 10 days ago
2005
ACM
We study various computational aspects of solving games using dominance and iterated dominance. We first study both strict and weak dominance (not iterated), and show that checki...
149
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
We introduce a finite difference expansion for closely spaced cameras in projective vision, and use it to derive differential analogues of the finite-displacement projective match...
185
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
165
click to vote
ISQED
2005
IEEE
16 years 11 days ago
2005
IEEE
Layout migration has re-emerged as an important task due to the increasing use of library hard intellectual properties. While recent advances of migration tools have accommodated ...
208
click to vote
WIOPT
2005
IEEE
16 years 11 days ago
2005
IEEE
We consider the problem of transmission scheduling of data over a wireless fading channel with hard deadline constraints. Our system consists of N users, each with a fixed amount...