2721 search results - page 422 / 545 » An experimental analysis of Lemke-Howson algorithm |
168
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Ubiquitous network connectivity and mobile communications have recently attracted remarkable attention. Wireless multihop networks such as Mobile Ad hoc Networks or Wire...
153
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Desktop grids combine Peer-to-Peer and Grid computing techniques to improve the robustness, reliability and scalability of job execution infrastructures. However, efficiently mat...
141
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 11 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
148
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
With the rapid progress of mobile devices and positioning technologies, Trajectory Databases (TD) have been in the core of database research during the last decade. Analysis and k...
148
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a new method addressing the problem of template drift, a common phenomenon in which the target gradually shifts away from the template in object tracking. Much effort h...