343 search results - page 37 / 69 » Notes on the Jump of a Structure |
112
click to vote
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a new lower bound for the discrete strategy improvement algorithm for solving parity games due to V¨oge and Jurdzi´nski. First, we informally show which stru...
162
click to vote
WIA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression...
120
click to vote
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
An algorithm for extracting music fingerprints directly from an audio signal is proposed in this paper. The proposed music fingerprint aims to encapsulate various aspects of mus...
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
EMMCVPR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...