876 search results - page 70 / 176 » New Results for the Martin Polynomial |
186
click to vote
LICS
2009
IEEE
16 years 28 days 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...
140
click to vote
FUN
2007
Springer
16 years 13 days ago
2007
Springer
We discuss some new geometric puzzles and the complexity of their extension to arbitrary sizes. For gate puzzles and two-layer puzzles we prove NP-completeness of solving them. No...
154
click to vote
WABI
2007
Springer
16 years 12 days ago
2007
Springer
The aim of the motif recognition problem is to detect a set of mutually similar subsequences within a collection of biological sequences. The weak motif recognition problem on DNA ...
156
click to vote
DAGM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Features like junctions and corners are a rich source of information for image understanding. We present a novel theoretical framework for the analysis of such 2D feature...
169
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...