7006 search results - page 1284 / 1402 » Approximation Algorithms |
145
Voted
FORMATS
2010
Springer
14 years 11 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...
98
Voted
GLOBECOM
2010
IEEE
14 years 11 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...
123
Voted
ICIP
2010
IEEE
14 years 11 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...
109
click to vote
ICIP
2010
IEEE
14 years 11 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...
117
Voted
IPPS
2010
IEEE
14 years 11 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...