Sciweavers

1356 search results - page 22 / 272
» Some New Results on Inverse Sorting Problems
Sort
View
VL
2008
IEEE
14 years 1 months ago
Towards the next generation of bug tracking systems
Developers typically rely on the information submitted by end-users to resolve bugs. We conducted a survey on information needs and commonly faced problems with bug reporting amon...
Sascha Just, Rahul Premraj, Thomas Zimmermann
IPPS
2009
IEEE
14 years 2 months ago
New sequential and parallel algorithm for Dynamic Resource Constrained Project Scheduling Problem
This paper proposes a new Evolutionary Algorithm for the Dynamic Resource Constrained Project Scheduling Problem. This algorithm has new features that get around some problems lik...
André Renato Villela da Silva, Luiz Satoru ...
LPAR
2010
Springer
13 years 6 months ago
Polite Theories Revisited
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
Dejan Jovanovic, Clark Barrett
AMC
2010
86views more  AMC 2010»
13 years 7 months ago
BVMs for computing Sturm-Liouville symmetric potentials
The paper deals with the numerical solution of inverse Sturm-Liouville problems with unknown potential symmetric over the interval [0, ]. The proposed method is based on the use o...
Paolo Ghelardoni, Cecilia Magherini
SIAMJO
2010
137views more  SIAMJO 2010»
13 years 5 months ago
Global Convergence of a New Hybrid Gauss--Newton Structured BFGS Method for Nonlinear Least Squares Problems
In this paper, we propose a hybrid Gauss-Newton structured BFGS method with a new update formula and a new switch criterion for the iterative matrix to solve nonlinear least square...
Weijun Zhou, Xiaojun Chen