2200 search results - page 113 / 440 » Bloch's Constant is Computable |
130
click to vote
DIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
154
click to vote
RTA
1998
Springer
15 years 10 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
145
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...
168
click to vote
RECOMB
1997
Springer
15 years 10 months ago
1997
Springer
We present a new polynomial time approximation scheme (PTAS) for tree alignment, which is an important variant of multiple sequence alignment. As in the existing PTASs in the liter...
127
click to vote
MFCS
1994
Springer
15 years 10 months ago
1994
Springer
We introduce the notion of empty alternation by investigating alternating automata which are restricted to empty their storage except for a logarithmically space-bounded tape befor...