Sciweavers

1007 search results - page 70 / 202
» The Complexity of Futile Questioning
Sort
View
133
Voted
SODA
2004
ACM
121views Algorithms» more  SODA 2004»
15 years 5 months ago
A characterization of easily testable induced subgraphs
Let H be a fixed graph on h vertices. We say that a graph G is induced H-free if it does not contain any induced copy of H. Let G be a graph on n vertices and suppose that at leas...
Noga Alon, Asaf Shapira
131
Voted
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 3 months ago
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satis...
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. ...
107
Voted
KI
2007
Springer
15 years 10 months ago
Negation in Spatial Reasoning
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
Stefan Schleipen, Marco Ragni, Thomas Fangmeier
123
Voted
WSC
2004
15 years 5 months ago
Simulation Experiment for Improving Construction Processes
From the perspective of flow analysis, the more complex the project, the more wastes are prone to build up, due to the increasing number of interfaces between activities. When pro...
Shihyi Wang, Daniel W. Halpin
133
Voted
DAM
2007
120views more  DAM 2007»
15 years 3 months ago
Advances on sorting by reversals
Theproblemofsortingsignedpermutationsbyreversalsisinspiredbygenomerearrangementproblemsincomputationalmolecular biology. Given two genomes represented as signed permutations of th...
Eric Tannier, Anne Bergeron, Marie-France Sagot