1302 search results - page 137 / 261 » Fair Equivalence Relations |
157
click to vote
VLSM
2005
Springer
15 years 11 months ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
129
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
133
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
147
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
172
click to vote
GCB
2004
Springer
15 years 11 months ago
2004
Springer
: We introduce the novel concept of graph alignment, a generalization of graph isomorphism that is motivated by the commonly used multiple sequence alignments. Graph alignments and...