7006 search results - page 1284 / 1402 » Approximation Algorithms |
186
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
130
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Network equipments generate an overwhelming number of reports and alarms every day, but only a small fraction of these alarms require the intervention of network operators. Our goa...
157
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Non-rigid image registration plays an important role in medical image analysis. Recently, Tang and Chung proposed to model the non-rigid medical image registration problem as an e...
147
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we present a method to speed up video encoding of GPU rendered 3D scenes, which is particularly suited for the efficient and low-delay encoding of 3D game output as...
149
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Millions of DNA sequences (reads) are generated by Next Generation Sequencing machines everyday. There is a need for high performance algorithms to map these sequences to the refer...