971 search results - page 80 / 195 » Approximate Satisfiability and Equivalence |
117
click to vote
GCB
2004
Springer
15 years 6 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...
SOFSEM
2004
Springer
15 years 6 months ago
2004
Springer
We initiate a systematic study of the Row Deletion(B) problem on matrices: For a fixed “forbidden submatrix” B, the question is, given an input matrix A (both A and B have ent...
100
click to vote
APPROX
2010
Springer
15 years 2 months ago
2010
Springer
We consider the question: What is the maximum flow achievable in a network if the flow must be decomposable into a collection of edgedisjoint paths? Equivalently, we wish to find a...
ESANN
2007
15 years 2 months ago
2007
Independent Variable Group Analysis (IVGA) is a method for grouping dependent variables together while keeping mutually independent or weakly dependent variables in separate group...
COMPUTING
2007
15 years 20 days ago
2007
We consider a parameterized family of closed planar curves and introduce an evolution process for identifying a member of the family that approximates a given unorganized point cl...