15792 search results - page 27 / 3159 » Computational Abstraction Steps |
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—We present an efficient and robust stepping-stone detection scheme based on succinct packet-timing sketches of network flows. The proposed scheme employs an online alg...
TASLP
2008
13 years 7 months ago
2008
Abstract--The adaptive algorithms used for acoustic echo cancellation (AEC) have to provide 1) high convergence rates and good tracking capabilities, since the acoustic environment...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—We introduce schema covering, the problem of identifying easily understandable common objects for describing large and complex schemas. Defining transformations between...