1562 search results - page 132 / 313 » Convenience Over Correctness |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
ICSOC
2009
Springer
14 years 4 months ago
2009
Springer
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...
AVSS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
CSMR
2008
IEEE
14 years 4 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, a new approach for decoding real-field codes based on finding sparse solutions of underdetermined linear systems is proposed. This algorithm iteratively estimates...