Sciweavers

8413 search results - page 240 / 1683
» Ordering Problem Subgoals
Sort
View
82
Voted
JSCIC
2011
76views more  JSCIC 2011»
14 years 7 months ago
Two-Level Additive Schwarz Preconditioners for a Weakly Over-Penalized Symmetric Interior Penalty Method
We propose and analyze several two-level additive Schwarz preconditioners for a weakly over-penalized symmetric interior penalty method for second order elliptic boundary value pro...
A. T. Barker, Susanne C. Brenner, E.-H. Park, Li-Y...
111
Voted
GECCO
2007
Springer
157views Optimization» more  GECCO 2007»
15 years 7 months ago
Thoughts on solution concepts
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...
Anthony Bucci, Jordan B. Pollack
85
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
Covering a Tree by a Forest
Consider a tree T and a forest F. The paper discusses the following new problems: The Forest vertex-cover problem (FVC): cover the vertices of T by a minimum number of copies of tr...
Fanica Gavril, Alon Itai
RTA
1993
Springer
15 years 4 months ago
Total Termination of Term Rewriting
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...
Maria C. F. Ferreira, Hans Zantema
110
Voted
JCST
2010
189views more  JCST 2010»
14 years 7 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar