Sciweavers

3317 search results - page 134 / 664
» Strategies in Rigid-Variable Methods
Sort
View
ECLIPSE
2007
ACM
15 years 8 months ago
Filtering out methods you wish you hadn't navigated
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
Annie T. T. Ying, Peri L. Tarr
APPML
2007
91views more  APPML 2007»
15 years 4 months ago
Steplength selection in interior-point methods for quadratic programming
We present a new strategy for choosing primal and dual steplengths in a primal-dual interior-point algorithm for convex quadratic programming. Current implementations often scale ...
Frank E. Curtis, Jorge Nocedal
MCS
2008
Springer
15 years 4 months ago
A nonsmooth Newton's method for control-state constrained optimal control problems
We investigate optimal control problems subject to mixed control-state constraints. The necessary conditions are stated in terms of a local minimum principle. By use of the Fischer...
Matthias Gerdts
JELIA
2004
Springer
15 years 9 months ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde
COMPUTING
2008
87views more  COMPUTING 2008»
15 years 4 months ago
Simple a posteriori error estimators for the h-version of the boundary element method
The h-h/2-strategy is one very basic and well-known technique for the a posteriori error estimation for Galerkin discretizations of energy minimization problems. Let denote the e...
Samuel Ferraz-Leite, Dirk Praetorius