3818 search results - page 335 / 764 » Word Problems on Compressed Words |
166
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
Segmentation of Nom characters from body text regions of stele images is a challenging problem due to the confusing spatial distribution of the connected components composing these...
179
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
158
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
201
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
We present an algorithm that for any graph G and integer k ≥ 0 in time polynomial in the size of G either nds a spanning tree with at least k internal vertices, or outputs a ne...
161
click to vote
PSIVT
2009
Springer
16 years 1 months ago
2009
Springer
Implicit surface reconstruction has been a challenging work for decades. In this paper, motivated by the concept of classic physical polar field model and off-set points strategy...