Sciweavers

3172 search results - page 50 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
112
Voted
DEXA
2006
Springer
95views Database» more  DEXA 2006»
15 years 4 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 2 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
80
Voted
ACCV
1998
Springer
15 years 5 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
88
Voted
IPL
2007
60views more  IPL 2007»
15 years 18 days 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
102
Voted
ORL
2008
120views more  ORL 2008»
15 years 19 days 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