1397 search results - page 65 / 280 » On the Need for Practical Formal Methods |
116
click to vote
TOMS
2008
15 years 3 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
118
Voted
HCI
2007
15 years 5 months ago
2007
Numerous methods have been developed to help designers to understand and consider the needs and desires of end-users, but many have had limited uptake in design practice. In order ...
153
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
141
click to vote
SIAMJO
2008
15 years 3 months ago
2008
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...
148
click to vote
SIAMJO
2010
15 years 2 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...