Sciweavers

3172 search results - page 50 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
DEXA
2006
Springer
95views Database» more  DEXA 2006»
15 years 9 months ago
On the Completion of Workflows
Abstract. Workflow Management Systems (WFMS) coordinate execution of logically related multiple tasks in an organization. A workflow schema is defined using a set of tasks that are...
Tai Xin, Indrakshi Ray, Parvathi Chundi, Sopak Cha...
AAAI
2010
15 years 7 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
ACCV
1998
Springer
15 years 10 months ago
Optimising the Complete Image Feature Extraction Chain
The hypothesis veri cation stage of the traditional image processing approach, consisting of low, medium, and high level processing, will su er if the set of low level features ext...
Majid Mirmehdi, Phil L. Palmer, Josef Kittler
IPL
2007
60views more  IPL 2007»
15 years 6 months ago
Robustness of PSPACE-complete sets
We study the robustness of complete languages in PSPACE and prove that they are robust against P-selective sparse sets. Earlier similar results are known for EXPcomplete sets [3] ...
Aduri Pavan, Fengming Wang
ORL
2008
120views more  ORL 2008»
15 years 6 months ago
Composition of stable set polyhedra
Barahona and Mahjoub found a defining system of the stable set polytope for a graph with a cut-set of cardinality 2. We extend this result to cut-sets composed of a complete graph...
Benjamin McClosky, Illya V. Hicks