Sciweavers

3604 search results - page 468 / 721
» All Common Subsequences
Sort
View
FOCS
2006
IEEE
15 years 10 months ago
Witnesses for non-satisfiability of dense random 3CNF formulas
We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. How...
Uriel Feige, Jeong Han Kim, Eran Ofek
FQAS
2006
Springer
90views Database» more  FQAS 2006»
15 years 10 months ago
XML-Structured Documents: Retrievable Units and Inheritance
We consider the retrieval of XML-structured documents, and of passages from such documents, defined as elements of the XML structure. These are considered from the point of view of...
Stephen E. Robertson, Wei Lu, Andrew MacFarlane
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Comparing mathematical models on the problem of network inference
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
Christian Spieth, Nadine Hassis, Felix Streichert
3DIM
2003
IEEE
15 years 10 months ago
Surflet-Pair-Relation Histograms: A Statistical 3D-Shape Representation for Rapid Classification
A statistical representation of three-dimensional shapes is introduced, based on a novel four-dimensional feature. The feature parameterizes the intrinsic geometrical relation of ...
Eric Wahl, Ulrich Hillenbrand, Gerd Hirzinger
FOCS
2000
IEEE
15 years 10 months ago
Approximating the single source unsplittable min-cost flow problem
Abstract. In the single source unsplittable min-cost flow problem, commodities must be routed simultaneously from a common source vertex to certain destination vertices in a given ...
Martin Skutella